I am a fourth year PhD student at University of California San Diego advised by Deian Stefan and Stefan Savage. My research focuses on software sandboxing, verified programming, and WebAssembly security.
I completed my undergraduate degree in Computer Engineering at University of Illinois Urbana-Champaign.
Publications
| Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, and Fraser Brown. WaVe: a verifiably secure WebAssembly sandboxing runtime IEEE S&P 23
[ paper | code | bibtex ] Distinguished Paper |
| Shravan Narayan, Tal Garfinkel, Mohammadkazem Taram, Joey Rudek, Daniel Moghimi, Evan Johnson, Chris Fallin, Anjo Vahldiek-Oberwagner, Michael LeMay, Ravi Sahita, Dean Tullsen, and Deian Stefan. Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI ASPLOS 23
[ paper | bibtex ] Distinguished Paper |
| Shravan Narayan, Tal Garfinkel, Evan Johnson, David Thien, Joey Rudek, Michael LeMay, Anjo Vahldiek-Oberwagner, Dean Tullsen, and Deian Stefan. Segue & ColorGuard: Optimizing SFI Performance and Scalability on Modern x86 PLAS 2023
[ paper ] |
| David Thien, Michael Smith, Evan Johnson, Sorin Lerner, Hovav Shacham, Deian Stefan, and Fraser Brown. FaJITa: Verifying Optimizations on Just-In-Time Programs PriSC 2023
|
| Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan. MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code POPL 2023
|
| Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, and Deian Stefan. Isolation without Taxation: Near Zero Cost Transitions for WebAssembly and SFI POPL 2022
[ paper | code | bibtex ] |
| Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, and Deian Stefan. Доверяй, но проверяй: SFI safety for native-compiled Wasm Network and Distributed System Security Symposium (NDSS) 2021.
[ paper | code | bibtex | video ] |
| Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean Tullsen, Deian Stefan Swivel: Hardening WebAssembly against Spectre USENIX Security Symposium 2021.
[ paper | code | bibtex ] |
| Evan Johnson, Maxwell Bland, YiFei Zhou, Joshua Mason, Stephen Checkoway, Stefan Savage and Kirill Levchenko. Jetset: Targeted Firmware Rehosting for Embedded Systems. USENIX Security Symposium 2021.
[ paper | code | bibtex | slides | video ] |
| Zhengkai Wu, Evan Johnson, Wei Yang, Osbert Bastani, Dawn Song, Jian Peng, and Tao Xie. Reinam: Reinforcement learning for input-grammar inference. ESEC/FSE 2019.
[ paper | bibtex ] |
Unpublished Work
| Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo JM Vincent, Shale Xiong Private delegated computations using strong isolation Unpublished work on Arxiv, 2022.
[ paper | code | bibtex ] |
