Quantifying the information leak in cache attacks via symbolic execution

Chattopadhyay, Sudipta and Beck, Moritz and Rezine, Ahmed and Zeller, Andreas
(2017) Quantifying the information leak in cache attacks via symbolic execution.
In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017.
Conference: None | Not Set

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/3127041.3127044

Actions

Actions (login required)

View Item View Item