The last mile: An empirical study of timing channels on seL4
David Cock, Qian Ge, Toby Murray, Gernot Heiser[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security
CCS'14
Scottsdale, Arizona, USA
ACM
New York, NY, USA
Pages 570-581
2014
Topic(s): os security verification
Note(s): hardware
CCS'14
Scottsdale, Arizona, USA
ACM
New York, NY, USA
Pages 570-581
2014
Topic(s): os security verification
Note(s): hardware