publications
2024
- Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on SmartphonesIn Proc. ACM APSys, 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