publications
2025
2024
- Formal Trust and Threat Modeling Using Large Language ModelsIn Proc. ACSAC Workshop on AI for Cyber Threat Intelligence (WAITI), 2024
2023
- Minimizing a Smartphone’s TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned HardwareIn Proc. ACM MobiSys, 2023 🏆Best Artifact Award
- A real-time electrical load forecasting and unsupervised anomaly detection frameworkApplied Energy, 2023