- 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.
- Almost-Total Puzzles and Their Applications.
- The Round Complexity of Black-Box Post-Quantum Secure Computation.
- On the Performance and Consistency Trade-off of the eSIM M2M Remote Provisioning Protocol.
- SeQR: A User-Friendly and Secure-by-Design Configurator for Enterprise Wi-Fi.
- Proceedings of the 30th ACM Symposium on Access Control Models and Technologies, SACMAT 2025, Stony Brook, NY, USA, 10 July 2025.
- The Poorest Man in Babylon: A Longitudinal Study of Cryptocurrency Investment Scams.
- Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations.
- Taking off the Rose-Tinted Glasses: A Critical Look at Adversarial ML Through the Lens of Evasion Attacks.
- Security Analysis of RL-Based Artificial Pancreas Systems.
- Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights.
- State Machine Mutation-based Testing Framework for Wireless Communication Protocols.
- ARMOR: A Formally Verified Implementation of X.509 Certificate Chain Validation.
- A Study of the Effects of Transfer Learning on Adversarial Robustness.
