Follow
Evan Johnson
Title
Cited by
Cited by
Year
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
562021
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
542021
Доверяй, но проверяй: SFI safety for native-compiled Wasm
E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ...
Network and Distributed Systems Security (NDSS) Symposium, 2021
30*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
272019
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
152022
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
132023
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
122023
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
102023
Private delegated computations using strong isolation
M Brossard, G Bryant, B El Gaabouri, X Fan, A Ferreira, E Grimley-Evans, ...
IEEE Transactions on Emerging Topics in Computing, 2023
42023
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
12022
FaJITa: Verifying Optimizations on Just-In-Time Programs.
D Thien, M Smith
Workshop on Principles of Secure Compilation (PriSC), 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–11