A Large Scale Study of the Ethereum Arbitrage Ecosystem
.
2023. A Large Scale Study of the Ethereum Arbitrage Ecosystem. 32nd USENIX Security Symposium (USENIX Security 23). :3295--3312.
Sherlock on Specs: Building {LTE} Conformance Tests through Automated Reasoning
.
2023. Sherlock on Specs: Building {LTE} Conformance Tests through Automated Reasoning. 32nd USENIX Security Symposium (USENIX Security 23). :3529--3545.
Did the Shark Eat the Watchdog in the {NTP} Pool? Deceiving the {NTP} {Pool’s} Monitoring System
.
2023. Did the Shark Eat the Watchdog in the {NTP} Pool? Deceiving the {NTP} {Pool’s} Monitoring System 32nd USENIX Security Symposium (USENIX Security 23). :6151--6166.
Downfall: Exploiting Speculative Data Gathering
.
2023. Downfall: Exploiting Speculative Data Gathering. 32nd USENIX Security Symposium (USENIX Security 23). :7179--7193.
Formal Analysis of {SPDM}: Security Protocol and Data Model version 1.2
.
2023. Formal Analysis of {SPDM}: Security Protocol and Data Model version 1.2. 32nd USENIX Security Symposium (USENIX Security 23). :6611--6628.
{V1SCAN}: Discovering 1-day Vulnerabilities in Reused {C/C++} Open-source Software Components Using Code Classification Techniques
.
2023. {V1SCAN}: Discovering 1-day Vulnerabilities in Reused {C/C++} Open-source Software Components Using Code Classification Techniques. 32nd USENIX Security Symposium (USENIX Security 23). :6541--6556.
{BunnyHop}: Exploiting the Instruction Prefetcher
.
2023. {BunnyHop}: Exploiting the Instruction Prefetcher. 32nd USENIX Security Symposium (USENIX Security 23). :7321--7337.
{DiffSmooth}: Certifiably Robust Learning via Diffusion Models and Local Smoothing
.
2023. {DiffSmooth}: Certifiably Robust Learning via Diffusion Models and Local Smoothing. 32nd USENIX Security Symposium (USENIX Security 23). :4787--4804.
{ACon^2}: Adaptive Conformal Consensus for Provable Blockchain Oracles
.
2023. {ACon^2}: Adaptive Conformal Consensus for Provable Blockchain Oracles. 32nd USENIX Security Symposium (USENIX Security 23). :3313--3330.
Measuring Up to (Reasonable) Consumer Expectations: Providing an Empirical Basis for Holding {IoT} Manufacturers Legally Responsible
.
2023. Measuring Up to (Reasonable) Consumer Expectations: Providing an Empirical Basis for Holding {IoT} Manufacturers Legally Responsible. 32nd USENIX Security Symposium (USENIX Security 23). :1487--1504.