{SoK}: What Don't We Know? Understanding Security Vulnerabilities in {SNARKs}
.
2024. {SoK}: What Don't We Know? Understanding Security Vulnerabilities in {SNARKs} 33rd USENIX Security Symposium (USENIX Security 24). :3855--3872.
On Bridging the Gap between Control Flow Integrity and Attestation Schemes
.
2024. On Bridging the Gap between Control Flow Integrity and Attestation Schemes. 33rd USENIX Security Symposium (USENIX Security 24). :6633--6650.
How does Endpoint Detection use the {MITRE} {ATT&CK} Framework?
.
2024. How does Endpoint Detection use the {MITRE} {ATT&CK} Framework? 33rd USENIX Security Symposium (USENIX Security 24). :3891--3908.
{FakeBehalf}: Imperceptible Email Spoofing Attacks against the Delegation Mechanism in Email Systems
.
2024. {FakeBehalf}: Imperceptible Email Spoofing Attacks against the Delegation Mechanism in Email Systems. 33rd USENIX Security Symposium (USENIX Security 24). :1243--1260.
Windows into the Past: Exploiting Legacy Crypto in Modern {OS's} Kerberos Implementation
.
2024. Windows into the Past: Exploiting Legacy Crypto in Modern {OS's} Kerberos Implementation. 33rd USENIX Security Symposium (USENIX Security 24). :6651--6668.
{MFKDF}: Multiple Factors Knocked Down Flat
.
2024. {MFKDF}: Multiple Factors Knocked Down Flat. 33rd USENIX Security Symposium (USENIX Security 24). :4301--4318.
Election Eligibility with {OpenID}: Turning Authentication into Transferable Proof of Eligibility
.
2024. Election Eligibility with {OpenID}: Turning Authentication into Transferable Proof of Eligibility. 33rd USENIX Security Symposium (USENIX Security 24). :3783--3800.