- Runtime-Assured, Real-Time Neural Control of Microgrids.
- Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version).
- Measuring the Accessibility of Domain Name Encryption and Its Impact on Internet Filtering.
- Cloud Computing Security: Foundations and Research Directions.
- An Approach for Multi-Level Visibility Scoping of IoT Services in Enterprise Environments.
- Verba Volant, Scripta Volant: Understanding Post-publication Title Changes in News Outlets.
- Fingerprinting in Style: Detecting Browser Extensions via Injected Style Sheets.
- DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection.
- Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.
- Compact Ring Signatures from Learning With Errors.
- Compact Ring Signatures from Learning with Errors.
- KML: Using Machine Learning to Improve Storage Systems.
- Towards a Unified Approach to Black-Box Constructions of Zero-Knowledge Proofs.
- Catching Transparent Phish: Analyzing and Detecting MITM Phishing Toolkits.
- Collision-Free 3D Flocking Using the Distributed Simplex Architecture.