- 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.
- Wink: Deniable Secure Messaging.
- A New Approach to Post-Quantum Non-Malleability.
- Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust.
- Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.
- Compact Ring Signatures from Learning with Errors.
