REINAM: reinforcement learning for input-grammar inference. - Zhengkai Wu; Evan Johnson 001; Wei Yang 013; Osbert Bastani; Dawn Song; Jian Peng 001; Tao Xie 001 (ESEC/SIGSOFT FSE, 2019)

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. - Evan Johnson 001; David Thien; Yousef Alhessi; Shravan Narayan; Fraser Brown; Sorin Lerner; Tyler McMullen; Stefan Savage; Deian Stefan (NDSS, 2021)

Jetset: Targeted Firmware Rehosting for Embedded Systems. - Evan Johnson 001; Maxwell Bland; Yifei Zhu; Joshua Mason; Stephen Checkoway; Stefan Savage; Kirill Levchenko (USENIX Security Symposium, 2021)

Swivel: Hardening WebAssembly against Spectre. - Shravan Narayan; Craig Disselkoen; Daniel Moghimi; Sunjay Cauligi; Evan Johnson 001; Zhao Gang; Anjo Vahldiek-Oberwagner; Ravi Sahita; Hovav Shacham; Dean M. Tullsen; Deian Stefan (USENIX Security Symposium, 2021)

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. - Matthew Kolosick; Shravan Narayan; Evan Johnson 001; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2022)

Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (ASPLOS (3), 2023)

WaVe: a verifiably secure WebAssembly sandboxing runtime. - Evan Johnson 001; Evan Laufer; Zijie Zhao; Dan Gohman; Shravan Narayan; Stefan Savage; Deian Stefan; Fraser Brown (SP, 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing. - Shravan Narayan; Tal Garfinkel; Mohammadkazem Taram; Joey Rudek; Daniel Moghimi; Evan Johnson 001; Chris Fallin; Anjo Vahldiek-Oberwagner; Michael LeMay; Ravi Sahita; Dean M. Tullsen; Deian Stefan (IEEE Micro, 2024)

Private Delegated Computations Using Strong Isolation. - Mathias Brossard; Guilhem Bryant; Basma El Gaabouri; Xinxin Fan; Alexandre Ferreira; Edmund Grimley-Evans; Christopher Haster; Evan Johnson 001; Derek Miller; Fan Mo; Dominic P. Mulligan; Nick Spinale; et al. (IEEE Trans. Emerg. Top. Comput., 2024)

Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern Architectures. - Shravan Narayan; Tal Garfinkel; Evan Johnson 001; Zachary Yedidia; Yingchen Wang; Andrew Brown; Anjo Vahldiek-Oberwagner; Michael LeMay; Wenyong Huang; Xin Wang; Mingqiu Sun; Dean M. Tullsen; et al. (ASPLOS (1), 2025)