Home Publications

Automatic Quantification of Cache Side-Channels

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
Authors:
  • Köpf, Boris
  • Mauborgne, Laurent
  • Ochoa, Martín
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]