Shravan Narayan

Assistant Professor
Dr. Shravan Ravi Narayan is an Assistant Professor in the UT Computer Science department. He is interested in building secure systems, program verification or hardware-based security.

Research

Research Interests: 

My primary interest is in building secure systems, but I am interested in doing so with techniques from systems as well as program verification, and hardware-based security.

Select Publications

S. Narayan, T. Garfinkel, M. Taram, J. Rudek, D. Moghimi, E. Johnson, C. Fallin, A. Vahldiek- Oberwagner, M. LeMay, R. Sahita, D. Tullsen, D. Stefan. Going Beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI. ASPLOS 2023.
M. Kolosick, S. Narayan, C. Watt, M. LeMay, D. Garg, R. Jhala, and D. Stefan.. Isolation without taxation: Near zero cost transitions for SFI. Principles of Programming Languages (POPL), 2022.
S. Narayan, C. Disselkoen, D. Moghimi, S. Cauligi, E. Johnson, Z. Gang, A. VahldiekOberwagner, R. Sahita, H. Shacham, D. Tullsen, D. Stefan. . Swivel: Hardening WebAssembly against Spectre. USENIX Security Symposium, 2021.
E. Johnson, Y. Alhessi, D. Thien, S. Narayan, F. Brown, S. Lerner, T. McMullen, S. Savage, and D. Stefan.. Довер´яй, но провер´яй: SFI safety for native-compiled Wasm. Network and Distributed System Security Symposium (NDSS), 2021.
S. Narayan, C. Disselkoen, T. Garfinkel, N. Froyd, E. Rahm, S. Lerner, H. Shacham, and D. Stefan.. Retrofitting fine grain isolation in the Firefox renderer. USENIX Security Symposium, 2020.

Awards & Honors

2023 - Distinguished paper award at ASPLOS 2023. Going Beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI.
2022 - Mozilla research award. "RLBox v2: Extending RLBox for more performant, ubiquitous sandboxing."
2022 - Winner, IEEE Cybersecurity Awards for Practice, Secure Development Conference 2022. Retrofitting fine grain isolation in the Firefox renderer.
2022 - NSA Best Scientific Cybersecurity Paper, Honorable Mention. Retrofitting fine grain isolation in the Firefox renderer
2021 - Google V8 research award. Practical, portable, and verified library sandboxing using Wasm.
2021 - Fastly's "The edge computer project" award. Verifiable and spectre-safe sandboxing at the edge.
2021 - Finalist, Applied Research Competition, CSAW 2021. Довер´яй, но провер´яй: SFI safety for native-compiled Wasm.
2020 - Winner, Applied Research Competition, CSAW 2020. Retrofitting fine grain isolation in the Firefox renderer.
2020 - Distinguished paper award at the USENIX Security Symposium 2020. Retrofitting fine grain isolation in the Firefox renderer.