All Stories

  1. Atmosphere: Practical Verified Kernels with Rust and Verus

    Article • October 2025, ACM (Association for Computing Machinery)

    Vikram Narayanan

  2. Remote attestation of confidential VMs using ephemeral vTPMs

    Article • December 2023, ACM (Association for Computing Machinery)

    Vikram Narayanan, Hubertus Franke

  3. Extending Rust with Support for Zero Copy Communication

    Article • October 2023, ACM (Association for Computing Machinery)

    Vikram Narayanan

  4. Atmosphere: Towards Practical Verified Kernels in Rust

    Article • October 2023, ACM (Association for Computing Machinery)

    Vikram Narayanan

  5. Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces

    Article • June 2023, ACM (Association for Computing Machinery)

    Vikram Narayanan

  6. DRAMHiT: A Hash Table Architected for the Speed of DRAM

    Article • May 2023, ACM (Association for Computing Machinery)

    Vikram Narayanan