conftrace_

operating system kernel

4 papers

Explore in graph

Co-occurring keywords

transient execution attack (1) kernel page table (1) speculation barrier (1) side-channel attack (6) mitigation overhead (1) kernel replication (1) numa architecture (1) multicore scaling (1) concurrent program (1) contextual refinement (2)

Papers

iStack: A General and Stateful Name-based Protocol Stack for Named Data Networking NSDI 2024
NrOS: Effective Replication and Sharing in an Operating System OSDI 2021
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract OSDI 2020
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016