Vikram Narayanan

Orcid: 0000-0001-6274-9242

According to our database1, Vikram Narayanan authored at least 14 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation.
IEEE Secur. Priv., 2023

Remote attestation of SEV-SNP confidential VMs using e-vTPMs.
CoRR, 2023

Extending Rust with Support for Zero Copy Communication.
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

Atmosphere: Towards Practical Verified Kernels in Rust.
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

DRAMHiT: A Hash Table Architected for the Speed of DRAM.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

Remote attestation of confidential VMs using ephemeral vTPMs.
Proceedings of the Annual Computer Security Applications Conference, 2023

2022
KSplit: Automating Device Driver Isolation.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021
Understanding the Overheads of Hardware and Language-Based IPC Mechanisms.
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

Isolation in Rust: What is Missing?
Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

2020
Lightweight kernel isolation with virtualization and VM functions.
Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

RedLeaf: Isolation and Communication in a Safe Operating System.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019
LXDs: Towards Isolation of Kernel Subsystems.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019


  Loading...