Jo Van Bulck (jovanbulck)

jovanbulck

Geek Repo

Company:imec-DistriNet, KU Leuven

Location:Leuven, Belgium

Home Page:https://jovanbulck.github.io/

Twitter:@jovanbulck

Github PK Tool:Github PK Tool


Organizations
sancus-tee

Jo Van Bulck's repositories

sgx-step

A practical attack framework for precise enclave execution control

Language:CLicense:GPL-3.0Stargazers:412Issues:27Issues:54

nemesis

Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic

Language:CStargazers:85Issues:7Issues:0

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

Language:CLicense:GPL-3.0Stargazers:30Issues:8Issues:58
Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

Language:HTMLStargazers:1Issues:0Issues:0

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

Language:ShellLicense:GPL-2.0Stargazers:1Issues:0Issues:0

sgx-abi-data

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

Language:ShellStargazers:1Issues:4Issues:0

AMDSEV

AMD Secure Encrypted Virtualization

Language:ShellStargazers:0Issues:0Issues:0

bare-sgx

Minimal SGX enclave development on bare-metal Linux platforms

License:GPL-2.0Stargazers:0Issues:4Issues:0

cass-kul.github.io

https://cass-kul.github.io/

Language:AssemblyStargazers:0Issues:2Issues:0

cveproject.github.io

CVE Project Documentation

Language:HTMLStargazers:0Issues:2Issues:0

enarx

Tools for deploying WebAssembly into Enarx Keeps. https://enarx.dev/

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

foreshadow-website

http://foreshadowattack.eu/

Language:HTMLStargazers:0Issues:4Issues:0
Language:GoLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

just-the-docs

A modern, high customizable, responsive Jekyll theme for documention with built-in search.

Language:SCSSLicense:MITStargazers:0Issues:2Issues:0

openenclave

SDK for developing enclaves

Language:CLicense:MITStargazers:0Issues:2Issues:0

rust-sgx

The Fortanix Rust Enclave Development Platform

Language:RustLicense:MPL-2.0Stargazers:0Issues:2Issues:0

sancus-core

Minimal OpenMSP430 hardware extensions for isolation and attestation

Language:VerilogStargazers:0Issues:2Issues:0
Language:PythonLicense:MITStargazers:0Issues:3Issues:0
Language:LLVMStargazers:0Issues:2Issues:0

sgx-sample

Temporary repository for sharing sgx sample code

Language:MakefileStargazers:0Issues:2Issues:0

SGX-Shield

SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

sllvm

Security Enhanced LLVM

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

transientfail

Website and PoC collection for transient execution attacks

Language:CLicense:ZlibStargazers:0Issues:3Issues:0

uarch-evaluation-best-practice

Best practices for microarchitectural attack and defense evaluation and reproducibility.

Stargazers:0Issues:0Issues:0

website

FOSDEM website

Language:PostScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0