Title
Preventing Page Faults from Telling Your Secrets.
Abstract
New hardware primitives such as Intel SGX secure a user-level process in presence of an untrusted or compromised OS. Such "enclaved execution" systems are vulnerable to several side-channels, one of which is the page fault channel. In this paper, we show that the page fault side-channel has sufficient channel capacity to extract bits of encryption keys from commodity implementations of cryptographic routines in OpenSSL and Libgcrypt -- leaking 27% on average and up to 100% of the secret bits in many case-studies. To mitigate this, we propose a software-only defense that masks page fault patterns by determinising the program's memory access behavior. We show that such a technique can be built into a compiler, and implement it for a subset of C which is sufficient to handle the cryptographic routines we study. This defense when implemented generically can have significant overhead of up to 4000X, but with help of developer-assisted compiler optimizations, the overhead reduces to at most 29.22% in our case studies. Finally, we discuss scope for hardware-assisted defenses, and show one solution that can reduce overheads to 6.77% with support from hardware changes.
Year
DOI
Venue
2016
10.1145/2897845.2897885
AsiaCCS
Field
DocType
ISBN
Hardware security module,Cryptography,Computer science,Computer security,Communication channel,Encryption,Compiler,Optimizing compiler,Page fault,Side channel attack,Embedded system
Conference
978-1-4503-4233-9
Citations 
PageRank 
References 
46
1.32
35
Authors
4
Name
Order
Citations
PageRank
Shweta Shinde11739.15
Zheng Leong Chua21607.27
Viswesh Narayanan3461.32
Prateek Saxena4191597.73