| Swivel: Hardening {WebAssembly} against spectre S Narayan, C Disselkoen, D Moghimi, S Cauligi, E Johnson, Z Gang, ... 30th USENIX Security Symposium (USENIX Security 21), 1433-1450, 2021 | 69 | 2021 |
| Jetset: Targeted firmware rehosting for embedded systems E Johnson, M Bland, YF Zhu, J Mason, S Checkoway, S Savage, ... 30th USENIX Security Symposium (USENIX Security 21), 321-338, 2021 | 68 | 2021 |
| Trust but verify: SFI safety for native-compiled Wasm E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ... Network and Distributed System Security Symposium (NDSS). Internet Society, 2021 | 32* | 2021 |
| REINAM: reinforcement learning for input-grammar inference Z Wu, E Johnson, W Yang, O Bastani, D Song, J Peng, T Xie Proceedings of the 2019 27th acm joint meeting on european software …, 2019 | 31 | 2019 |
| WaVe: a verifiably secure WebAssembly sandboxing runtime E Johnson, E Laufer, Z Zhao, D Gohman, S Narayan, S Savage, D Stefan, ... 2023 IEEE Symposium on Security and Privacy (SP), 2940-2955, 2023 | 24 | 2023 |
| Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI M Kolosick, S Narayan, E Johnson, C Watt, M LeMay, D Garg, R Jhala, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 23 | 2022 |
| Mswasm: Soundly enforcing memory-safe execution of unsafe code AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ... Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023 | 21 | 2023 |
| Going beyond the limits of sfi: Flexible and secure hardware-assisted in-process isolation with hfi S Narayan, T Garfinkel, M Taram, J Rudek, D Moghimi, E Johnson, ... Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 17 | 2023 |
| Private delegated computations using strong isolation M Brossard, G Bryant, B El Gaabouri, X Fan, A Ferreira, EG Evans, ... IEEE Transactions on Emerging Topics in Computing 12 (1), 386-398, 2023 | 5 | 2023 |
| Segue & colorguard: Optimizing sfi performance and scalability on modern x86 S Narayan, T Garfinkel The 17th Workshop on Programming Languages and Analysis for Security, 2022 | 3 | 2022 |
| FaJITa: Verifying Optimizations on Just-In-Time Programs. D Thien, M Smith Workshop on Principles of Secure Compilation (PriSC), 2023 | | 2023 |
