Automatic Quantification of Cache Side-Channels
Research Area: | Uncategorized | Year: | 2012 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | P. Madhusudan and Sanjit A. Seshia | Volume: | 7358 |
Book title: | CAV | ||
Series: | Lecture Notes in Computer Science | Pages: | 564-580 |
ISBN: | 978-3-642-31423-0 | ||
BibTex: |
|||
Note: | projects: FP7-256980 NESSoS and FP7-229599 AMAROUT, and by the MoDelSec project of the DFG priority programme 1496 RS3.
partners: IMDEA, SIEMENS
tier: A
CITE(03/03/2014):16 |
||
[Bibtex] |