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 beskrivning

Bibliografiska uppgifter

Huvudupphov:	Campo, Juan (author)
Materialtyp:	doctoralThesis
Språk:	engelska
Utgiven:	2016
Ämnen:	Non-interference Cache-based attacks Constant-time cryptography Stealth memory Coq No interferencia Ataques basados en cache Criptografía constant-time
Länkar:	http://hdl.handle.net/20.500.12008/6401
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!