ASU Trusted, Reliable, and Secure Computing
School of Computing and Augmented Intelligence (SCAI) · Arizona State University
Website · Publications · People
We build computer systems that are:
- Secure. We strengthen privileged system software, such as operating systems and hypervisors, with new protection abstractions and fine-grained attack investigation.
- Trusted. We guarantee that computations stay confidential and intact even when the system software itself is controlled by someone untrusted, such as a cloud provider.
- Reliable. We develop efficient, automated techniques to test whether software and hardware execute correctly, which security and trust both depend on.
Our work spans confidential computing (SGX/TDX/SEV), system auditing and provenance, and kernel security.
| Repository | Paper | Venue |
|---|---|---|
| Tirith | You Shall Not Pass into Ring-0! A User Privacy-Friendly Anti-Cheat Architecture for Personal Computers | ACM CCS 2026 |
| Appare | Efficient Fine-Grained Kernel Auditing using Augmented Reference Behavior Analysis and Virtualized Selective Tracing | IEEE S&P 2026 |
| Erebor | Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines | ACM EuroSys 2025 |
| HitchHiker | The HitchHiker's Guide to High-Assurance System Observability Protection with Fast Permission Switches | ACM CCS 2024 |
Artifacts from earlier work by lab members include Veil (ASPLOS), HardLog (S&P), Shard (USENIX Security), and Obfuscuro (NDSS).
The full publication list is on our website.
We are hiring PhD students for systems and security research. If you're interested, email Adil Ahmad, the lab's director.
Our research is supported by the NSF, AFOSR, Google Research, and Intel Labs.