- Taking a Bite Out of the Forbidden Fruit: Characterizing Third-Party Iranian iOS App Stores.
- Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation.
- Proteus: A Practical Framework for Privacy-Preserving Device Logs.
- Anansi: Scalable Characterization of Message-Based Job Scams.
- Atlas: Enabling Cross-Vendor Authentication for IoT.
- Collaborative Incrementally Verifiable Computation.
- From Fake Job Offer to Full Environment Compromise: Anatomy of the Contagious Interview Campaign.
- Secret State Leakage Attacks and Their Impacts on EMV Contactless Payment Apps.
- Automatically Tightening Access Control Policies with Restricter.
- The Round Complexity of Black-Box Post-Quantum Secure Computation.
- Saecred: A State-Aware, Over-the-Air Protocol Testing Approach for Discovering Parsing Bugs in SAE Handshake Implementations of COTS Wi-Fi Access Points.
- The Poorest Man in Babylon: A Longitudinal Study of Cryptocurrency Investment Scams.
- Understanding Minimal-Time Attacks on Reinforcement Learning Agents.
- The Round Complexity of Black-Box Post-quantum Secure Computation.
- Scams at Scale: Unmasking Crypto Fraud and Social Engineering on the Modern Web.
