A Longitudinal and Comprehensive Study of the {DANE} Ecosystem in Email
.
2020. A Longitudinal and Comprehensive Study of the {DANE} Ecosystem in Email. 29th USENIX Security Symposium (USENIX Security 20). :613--630.
Call Me Maybe: Eavesdropping Encrypted {LTE} Calls With {ReVoLTE}
.
2020. Call Me Maybe: Eavesdropping Encrypted {LTE} Calls With {ReVoLTE}. 29th USENIX Security Symposium (USENIX Security 20). :73--88.
{MIRAGE}: Succinct Arguments for Randomized Algorithms with Applications to Universal {zk-SNARKs}
.
2020. {MIRAGE}: Succinct Arguments for Randomized Algorithms with Applications to Universal {zk-SNARKs}. 29th USENIX Security Symposium (USENIX Security 20). :2129--2146.
{TeeRex}: Discovery and Exploitation of Memory Corruption Vulnerabilities in {SGX} Enclaves
.
2020. {TeeRex}: Discovery and Exploitation of Memory Corruption Vulnerabilities in {SGX} Enclaves. 29th USENIX Security Symposium (USENIX Security 20). :841--858.
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of {Diffie-Hellman} Protocols
.
2020. A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of {Diffie-Hellman} Protocols. 29th USENIX Security Symposium (USENIX Security 20). :1857--1874.
Measuring and Modeling the Label Dynamics of Online {Anti-Malware} Engines
.
2020. Measuring and Modeling the Label Dynamics of Online {Anti-Malware} Engines. 29th USENIX Security Symposium (USENIX Security 20). :2361--2378.
Medusa: Microarchitectural Data Leakage via Automated Attack Synthesis
.
2020. Medusa: Microarchitectural Data Leakage via Automated Attack Synthesis. 29th USENIX Security Symposium (USENIX Security 20). :1427--1444.
{V0LTpwn}: Attacking x86 Processor Integrity from Software
.
2020. {V0LTpwn}: Attacking x86 Processor Integrity from Software. 29th USENIX Security Symposium (USENIX Security 20). :1445--1461.
{SEAL}: Attack Mitigation for Encrypted Databases via Adjustable Leakage
.
2020. {SEAL}: Attack Mitigation for Encrypted Databases via Adjustable Leakage. 29th USENIX Security Symposium (USENIX Security 20). :2433--2450.
Shim Shimmeny: Evaluating the Security and Privacy Contributions of Link Shimming in the Modern Web
.
2020. Shim Shimmeny: Evaluating the Security and Privacy Contributions of Link Shimming in the Modern Web. 29th USENIX Security Symposium (USENIX Security 20). :649--664.