HerQules: securing programs via hardware-enforced message queues. - Daming D. Chen; Wen Shih Lim; Mohammad Bakhshalipour; Phillip B. Gibbons; James C. Hoe; Bryan Parno (ASPLOS, 2021)

Provably-Safe Multilingual Software Sandboxing using WebAssembly. - Jay Bosamiya; Wen Shih Lim; Bryan Parno (USENIX Security Symposium, 2022)