{BoKASAN}: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing
.
2023. {BoKASAN}: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing. 32nd USENIX Security Symposium (USENIX Security 23). :4985--5002.
The Blockchain Imitation Game
.
2023. The Blockchain Imitation Game. 32nd USENIX Security Symposium (USENIX Security 23). :3961--3978.
We Really Need to Talk About Session Tickets: A {Large-Scale} Analysis of Cryptographic Dangers with {TLS} Session Tickets
.
2023. We Really Need to Talk About Session Tickets: A {Large-Scale} Analysis of Cryptographic Dangers with {TLS} Session Tickets. 32nd USENIX Security Symposium (USENIX Security 23). :4877--4894.
Duoram: A {Bandwidth-Efficient} Distributed {ORAM} for 2- and 3-Party Computation
.
2023. Duoram: A {Bandwidth-Efficient} Distributed {ORAM} for 2- and 3-Party Computation. 32nd USENIX Security Symposium (USENIX Security 23). :3907--3924.
Diving into Robocall Content with {SnorCall}
.
2023. Diving into Robocall Content with {SnorCall}. 32nd USENIX Security Symposium (USENIX Security 23). :427--444.
Detecting {Multi-Step} {IAM} Attacks in {AWS} Environments via Model Checking
.
2023. Detecting {Multi-Step} {IAM} Attacks in {AWS} Environments via Model Checking. 32nd USENIX Security Symposium (USENIX Security 23). :6025--6042.
Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
.
2023. Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants. 32nd USENIX Security Symposium (USENIX Security 23). :2205--2222.
{ARGUS}: {Context-Based} Detection of Stealthy {IoT} Infiltration Attacks
.
2023. {ARGUS}: {Context-Based} Detection of Stealthy {IoT} Infiltration Attacks. 32nd USENIX Security Symposium (USENIX Security 23). :4301--4318.
How to Cover up Anomalous Accesses to Electronic Health Records
.
2023. How to Cover up Anomalous Accesses to Electronic Health Records. 32nd USENIX Security Symposium (USENIX Security 23). :229--246.
{TreeSync}: Authenticated Group Management for Messaging Layer Security
.
2023. {TreeSync}: Authenticated Group Management for Messaging Layer Security. 32nd USENIX Security Symposium (USENIX Security 23). :1217--1233.