Jo Van Bulck

sgx-step. A practical attack framework for precise enclave execution control

nemesis. Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic

sgx-tutorial-space18. Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves

0xbadc0de. A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes

sgx-pte. Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution

jsh. A basic UNIX shell implementation in C

bare-sgx. Minimal SGX enclave development on bare-metal Linux platforms

usenix27-checker. PDF Format Checker for USENIX Security 2027

sec-deadlines.github.io. Deadline countdowns for academic conferences in Security and Privacy

sgx-abi-data. Analysis data for the opinion paper "A Case for Unified ABI Shielding in Intel SGX Runtimes"

thesis-src. Secure resource sharing for embedded protected module architectures

sev-step. This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev vm

riscv-hacl. A bare metal hello world in C for Risc-V using QEMU to test