2 papers
cs.CR2026
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle +2
Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone c…
cs.PL2026
A Typestate Approach to Purpose-aware Programming
Joan Montas, Samuel Dodson, Anitha Gollamudi +1
Real-world applications often require verification that sensitive data is being used for their intended purpose. However, existing literature offers limited results regarding compi…