Security and Privacy Failures in Popular {2FA} Apps
.
2023. Security and Privacy Failures in Popular {2FA} Apps. 32nd USENIX Security Symposium (USENIX Security 23). :2079--2096.
A comprehensive, formal and automated analysis of the {EDHOC} protocol
.
2023. A comprehensive, formal and automated analysis of the {EDHOC} protocol. 32nd USENIX Security Symposium (USENIX Security 23). :5881--5898.
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
.
2023. Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses. 32nd USENIX Security Symposium (USENIX Security 23). :5899--5916.
{Content-Type}: multipart/oracle - Tapping into Format Oracles in Email {End-to-End} Encryption
.
2023. {Content-Type}: multipart/oracle - Tapping into Format Oracles in Email {End-to-End} Encryption. 32nd USENIX Security Symposium (USENIX Security 23). :4175--4192.
Glowing in the Dark: Uncovering {IPv6} Address Discovery and Scanning Strategies in the Wild
.
2023. Glowing in the Dark: Uncovering {IPv6} Address Discovery and Scanning Strategies in the Wild. 32nd USENIX Security Symposium (USENIX Security 23). :6221--6237.
Every Signature is Broken: On the Insecurity of Microsoft {Office’s} {OOXML} Signatures
.
2023. Every Signature is Broken: On the Insecurity of Microsoft {Office’s} {OOXML} Signatures. 32nd USENIX Security Symposium (USENIX Security 23). :7411--7428.
Hydra: {Serialization-Free} Network Ordering for Strongly Consistent Distributed Applications
.
2023. Hydra: {Serialization-Free} Network Ordering for Strongly Consistent Distributed Applications. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :293--320.
{SelfTune}: Tuning Cluster Managers
.
2023. {SelfTune}: Tuning Cluster Managers. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :1097--1114.
Better Together: Jointly Optimizing {ML} Collective Scheduling and Execution Planning using {SYNDICATE}
.
2023. Better Together: Jointly Optimizing {ML} Collective Scheduling and Execution Planning using {SYNDICATE}. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :809--824.
Scalable Tail Latency Estimation for Data Center Networks
.
2023. Scalable Tail Latency Estimation for Data Center Networks. 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). :685--702.