Follow
Vikram Narayanan
Vikram Narayanan
University of Utah
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
{RedLeaf}: isolation and communication in a safe operating system
V Narayanan, T Huang, D Detweiler, D Appel, Z Li, G Zellweger, ...
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
622020
{LXDs}: Towards isolation of kernel subsystems
V Narayanan, A Balasubramanian, C Jacobsen, S Spall, S Bauer, ...
2019 USENIX Annual Technical Conference (USENIX ATC 19), 269-284, 2019
422019
Lightweight kernel isolation with virtualization and VM functions
V Narayanan, Y Huang, G Tan, T Jaeger, A Burtsev
Proceedings of the 16th ACM SIGPLAN/SIGOPS international conference on …, 2020
412020
Spatial correlation and MIMO capacity of uniform rectangular dipole arrays
JSK Raj, AS Prabu, N Vikram, J Schoebel
IEEE Antennas and Wireless Propagation Letters 7, 97-100, 2008
352008
KSplit: Automating Device Driver Isolation
Y Huang, V Narayanan, D Detweiler, K Huang, G Tan, T Jaeger, ...
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
182022
RedLeaf: Towards an operating system for safe and verified firmware
V Narayanan, MS Baranowski, L Ryzhyk, Z Rakamarić, A Burtsev
Proceedings of the Workshop on Hot Topics in Operating Systems, 37-44, 2019
62019
Understanding the overheads of hardware and language-based ipc mechanisms
Z Li, T Huang, V Narayanan, A Burtsev
Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021
52021
Remote attestation of confidential VMs using ephemeral vTPMs
V Narayanan, C Carvalho, A Ruocco, G Almasi, J Bottomley, M Ye, ...
Proceedings of the 39th Annual Computer Security Applications Conference …, 2023
4*2023
Isolation in Rust: What is Missing?
A Burtsev, D Appel, D Detweiler, T Huang, Z Li, V Narayanan, ...
Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021
42021
DRAMHiT: A Hash Table Architected for the Speed of DRAM
V Narayanan, D Detweiler, T Huang, A Burtsev
Proceedings of the Eighteenth European Conference on Computer Systems, 817-834, 2023
12023
Atmosphere: Towards Practical Verified Kernels in Rust
X Chen, Z Li, L Mesicek, V Narayanan, A Burtsev
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023
2023
Extending Rust with Support for Zero Copy Communication
A Lafrance, D Detweiler, Z Li, X Chen, V Narayanan, A Burtsev
Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023
2023
Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces
A Burtsev, V Narayanan, Y Huang, K Huang, G Tan, T Jaeger
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 166-173, 2023
2023
The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation
V Narayanan, A Burtsev
IEEE Security & Privacy, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–14