All Stories

  1. Pegasus: Transparent and Unified Kernel-Bypass Networking for Fast Local and Remote Communication
  2. ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
  3. Veil: A Protected Services Framework for Confidential Virtual Machines
  4. KIT: Testing OS-Level Virtualization for Functional Interference Bugs