- The Round Complexity of Black-Box Post-Quantum Secure Computation.
- The Round Complexity of Black-Box Post-Quantum Secure Computation.
- SeQR: A User-Friendly and Secure-by-Design Configurator for Enterprise Wi-Fi.
- 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.
- A Comprehensive, Automated Security Analysis of the Uptane Automotive Over-the-Air Update Framework.
- Taking off the Rose-Tinted Glasses: A Critical Look at Adversarial ML Through the Lens of Evasion Attacks.
- Biosignal Authentication Considered Harmful Today.
- Falsification using Reachability of Surrogate Koopman Models.
- 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.
- Like, Comment, Get Scammed: Characterizing Comment Scams on Media Platforms.
