Formally Proved Security of Assembly Code Against Leakage.

Pablo Rauzy Sylvain Guilley Zakaria Najm

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

information security
information assurance
information leakage
access control
source code
intrusion detection
security policies
statistical databases
security issues
security systems
computer security
protection scheme
visually guided
network security
security measures
key management
windows xp
information systems