- 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.
- An REE-independent Approach to Identify Callers of TEEs in TrustZone-enabled Cortex-M Devices.
- 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.
- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.
- Programming with rules and everything else, seamlessly.
- PC-Expo: A Metrics-Based Interactive Axes Reordering Method for Parallel Coordinate Displays.
- Transferring Adversarial Robustness Through Robust Representation Matching.
- Wink: Deniable Secure Messaging.
- Ares: A System-Oriented Wargame Framework for Adversarial ML.
- A New Approach to Post-Quantum Non-Malleability.
- From Theory to Code: Identifying Logical Flaws in Cryptographic Implementations in C/C++.
