Presentable Debugging with LLVManim
Benjamin Houle, Ebenezer Oloyede, L. Grippo et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Sep 2026
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Trusted Execution Environments (TEEs) provide hardware-supported isolation through enclaves that protect code and data independently of software abstractions. However, TEEs alone cannot enforce information-flow security. This problem is further aggravated in LLVM-like low-level languages that allow unrestricted pointer...
Wesley B. Nuzzo, Samuel Dodson, Benjamin Houle et al.
· 0 citations