Detecting {API} {Post-Handling} Bugs Using Code and Description in Patches
.
2023. Detecting {API} {Post-Handling} Bugs Using Code and Description in Patches. 32nd USENIX Security Symposium (USENIX Security 23). :3709--3726.
Fast {IDentity} Online with Anonymous Credentials ({{{{{FIDO-AC}}}}})
.
2023. Fast {IDentity} Online with Anonymous Credentials ({{{{{FIDO-AC}}}}}). 32nd USENIX Security Symposium (USENIX Security 23). :3029--3046.
Time for Change: How Clocks Break {UWB} Secure Ranging
.
2023. Time for Change: How Clocks Break {UWB} Secure Ranging. 32nd USENIX Security Symposium (USENIX Security 23). :19--36.
Efficient Unbalanced Private Set Intersection Cardinality and User-friendly Privacy-preserving Contact Tracing
.
2023. Efficient Unbalanced Private Set Intersection Cardinality and User-friendly Privacy-preserving Contact Tracing. 32nd USENIX Security Symposium (USENIX Security 23). :283--300.
{FuncTeller}: How Well Does {eFPGA} Hide Functionality?
.
2023. {FuncTeller}: How Well Does {eFPGA} Hide Functionality? 32nd USENIX Security Symposium (USENIX Security 23). :5809--5826.
{HyPFuzz}: {Formal-Assisted} Processor Fuzzing
.
2023. {HyPFuzz}: {Formal-Assisted} Processor Fuzzing. 32nd USENIX Security Symposium (USENIX Security 23). :1361--1378.
Cross Container Attacks: The Bewildered {eBPF} on Clouds
.
2023. Cross Container Attacks: The Bewildered {eBPF} on Clouds. 32nd USENIX Security Symposium (USENIX Security 23). :5971--5988.
Security Analysis of {MongoDB} Queryable Encryption
.
2023. Security Analysis of {MongoDB} Queryable Encryption. 32nd USENIX Security Symposium (USENIX Security 23). :7445--7462.
{LocIn}: Inferring Semantic Location from Spatial Maps in Mixed Reality
.
2023. {LocIn}: Inferring Semantic Location from Spatial Maps in Mixed Reality. 32nd USENIX Security Symposium (USENIX Security 23). :877--894.
{FloatZone}: Accelerating Memory Error Detection using the Floating Point Unit
.
2023. {FloatZone}: Accelerating Memory Error Detection using the Floating Point Unit. 32nd USENIX Security Symposium (USENIX Security 23). :805--822.