jovanbulck
Postdoc @KU_Leuven | Trusted Computing & Side-Channel Attacks | #IntelSGX #Sancus #Foreshadow #LVI #SGXStep
imec-DistriNet, KU LeuvenLeuven, Belgium
Pinned Repositories
0xbadc0de
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
jovanbulck.github.io
jsh
A basic UNIX shell implementation in C
nemesis
Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
sgx-pte
Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
sgx-step
A practical attack framework for precise enclave execution control
sgx-tutorial-space18
Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
sancus-core
Minimal OpenMSP430 hardware extensions for isolation and attestation
vulcan
Vehicular component authentication and software isolation
jovanbulck's Repositories
jovanbulck/sgx-step
A practical attack framework for precise enclave execution control
jovanbulck/nemesis
Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
jovanbulck/sgx-tutorial-space18
Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
jovanbulck/0xbadc0de
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
jovanbulck/jsh
A basic UNIX shell implementation in C
jovanbulck/jovanbulck.github.io
jovanbulck/sec-deadlines.github.io
Deadline countdowns for academic conferences in Security and Privacy
jovanbulck/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
jovanbulck/sgx-abi-data
Analysis data for the opinion paper "A Case for Unified ABI Shielding in Intel SGX Runtimes"
jovanbulck/AMDSEV
AMD Secure Encrypted Virtualization
jovanbulck/angr-platforms
A collection of extensions to angr to handle new platforms
jovanbulck/bare-sgx
Minimal SGX enclave development on bare-metal Linux platforms
jovanbulck/cass-kul.github.io
https://cass-kul.github.io/
jovanbulck/cveproject.github.io
CVE Project Documentation
jovanbulck/enarx
Tools for deploying WebAssembly into Enarx Keeps. https://enarx.dev/
jovanbulck/gotee
jovanbulck/ieeesp-timezone
jovanbulck/just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
jovanbulck/koreader
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
jovanbulck/linux-sgx
Intel SGX for Linux*
jovanbulck/openenclave
SDK for developing enclaves
jovanbulck/pyvex
Python bindings for Valgrind's VEX IR.
jovanbulck/rust-sgx
The Fortanix Rust Enclave Development Platform
jovanbulck/sancus-core
Minimal OpenMSP430 hardware extensions for isolation and attestation
jovanbulck/scf-msp430-dma
jovanbulck/sgx-branch-shadowing-mitigation
jovanbulck/sllvm
Security Enhanced LLVM
jovanbulck/transientfail
Website and PoC collection for transient execution attacks
jovanbulck/uarch-evaluation-best-practice
Best practices for microarchitectural attack and defense evaluation and reproducibility.
jovanbulck/website
FOSDEM website