Author of the publication

CacheAudit: A Tool for the Static Analysis of Cache Side Channels.

, , , and . ACM Trans. Inf. Syst. Secur., 18 (1): 4:1-4:32 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Aggregation of Information in Timing Attacks., and . EuroS&P, page 387-400. IEEE, (2019)A Language-Theoretic View on Network Protocols., , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 363-379. Springer, (2017)Leakage Resilience against Concurrent Cache Attacks., , , and . POST, volume 8414 of Lecture Notes in Computer Science, page 140-158. Springer, (2014)Probabilistic Relational Reasoning for Differential Privacy., , , and . ACM Trans. Program. Lang. Syst., 35 (3): 9:1-9:49 (2013)Theory and Practice of Finding Eviction Sets., , and . CoRR, (2018)Rethinking Privacy in Machine Learning Pipelines from an Information Flow Control Perspective., , , , , , , , and . CoRR, (2023)Loophole: Timing Attacks on Shared Event Loops in Chrome., and . USENIX Security Symposium, page 849-864. USENIX Association, (2017)Analyzing Information Leakage of Updates to Natural Language Models., , , , , , , and . CCS, page 363-375. ACM, (2020)Rigorous analysis of software countermeasures against cache attacks., and . PLDI, page 406-421. ACM, (2017)Information-Theoretic Bounds for Differentially Private Mechanisms., and . CSF, page 191-204. IEEE Computer Society, (2011)