Security and Verification in Computing

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.

Journals publishing in this area

1

ACM Computing Surveys

ISSN 0360-030095 articles in this topic

322h-index

17.05Impact

3.7KArticles

478.9KCitations