Physical Sciences › Informatique › Artificial Intelligence › Security and Verification in Computing

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.

Questions & réponses

Aucune question publiée pour cette rubrique. Posez la première ci-dessous.