Formally verified countermeasures against cache based attacks in virtualization platforms

Cache based attacks are a class of side-channel attacks that are particularly effective in virtualized or cloud-based environments, where they have been used to recover secret keys from cryptographic implementations. One common approach to thwart cache-based attacks is to use constant-time implement...

Full description

Bibliographic Details

Main Author:	Campo, Juan (author)
Format:	doctoralThesis
Language:	English
Published:	2016
Subjects:	Non-interference Cache-based attacks Constant-time cryptography Stealth memory Coq No interferencia Ataques basados en cache Criptografía constant-time
Online Access:	http://hdl.handle.net/20.500.12008/6401
Tags:	Add Tag No Tags, Be the first to tag this record!