Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Security and Verification in Computing
TopicLeading institutions, researchers & key papers
This cluster of papers focuses on language-based information flow security, addressing topics such as enforceable security policies, control-flow integrity, side-channel attacks, dynamic taint analysis, and trusted execution environments. It also explores techniques for memory protection, virtualization, software diversity, and hardware security.
18
Works
IDs:OpenAlex
How has Security and Verification in Computing's publication output changed over time?
ScholarIQpublication output · 1993–2025
Output grew0% over the shown period — from 1 works in 1993 to 1 in 2025.
1
1
1
1
1
1
1
1
19931998199920112015201620182025
What are the most-cited papers on Security and Verification in Computing?
ScholarIQmost cited works
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks
Crispin Cowan, Calton Pu, Dave Maier, Heather Hintony, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang
S4377196300. 19981,264 CitationsOPEN ACCESS
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
Jong-Deok Choi, Michael Burke, Paul Carini
1993354 Citations
Interprocedural pointer alias analysis
Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi
S41449414. 1999225 CitationsOPEN ACCESS
Why nothing matters
Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley
201187 Citations
Runtime Verification of k-Safety Hyperproperties in HyperLTL
Shreya Agrawal, Borzoo Bonakdarpour
201662 Citations
Where is Security and Verification in Computing research published, and who funds it?
ScholarIQvenues & funding sources
TOP JOURNALS
TOP FUNDERS
National Science Foundation—
NIH—
Wellcome Trust—
European Research Council—
Funder breakdown is a member featureSign up free to unlock
How much of the research on Security and Verification in Computing is open access?
ScholarIQopen access share
38%OPEN ACCESS
Gold
0%
Green
13%
Hybrid
13%
Bronze
13%
Closed
63%
Related on ScholarIQ
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks
Paper
Towards Sound Approaches to Counteract Power-Analysis Attacks
Paper
Security in cloud computing: Opportunities and challenges
Paper
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
Paper
Interprocedural pointer alias analysis
Paper
Why nothing matters
Paper