ScholarIQanswers from OpenAlex
Security and Verification in Computing
TopicLeading institutions, researchers & key papers
Security and Verification in Computing is a topic indexed in ScholarIQ from OpenAlex.
What is known about Security and Verification in Computing?
ScholarIQrecord summary
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.
How many works does Security and Verification in Computing have?
ScholarIQindexed works
Security and Verification in Computing has 18 works in the ScholarIQ index. The count is the OpenAlex total, not the number of papers listed on this page.
What is the OpenAlex record for Security and Verification in Computing?
ScholarIQopenalex
The OpenAlex for Security and Verification in Computing is on the source record.
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
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
Jong-Deok Choi, Michael Burke, Paul Carini
Interprocedural pointer alias analysis
Michael Hind, Michael Burke, Paul Carini, Jong-Deok Choi
Why nothing matters
Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley
Runtime Verification of k-Safety Hyperproperties in HyperLTL
Shreya Agrawal, Borzoo Bonakdarpour
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