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:429Issues:26Issues:56

nemesis

Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic

Language:CStargazers:85Issues:7Issues:0

0xbadc0de

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

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

Language:HTMLStargazers:1Issues:1Issues: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:1Issues: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:1Issues:0

angr-platforms

A collection of extensions to angr to handle new platforms

Language:PythonLicense:BSD-2-ClauseStargazers: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

connective-plugin-linux

A replacement for the Connective Plugin which is used on several websites to log in or sign documents using a card reader and an electronic identity card.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues: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
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

koreader

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

Language:LuaLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

linux-sgx

Intel SGX for Linux*

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

memories

Fast, modern and advanced photo management suite. Runs as a Nextcloud app.

Language:VueLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

pyvex

Python bindings for Valgrind's VEX IR.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

rust-sgx

The Fortanix Rust Enclave Development Platform

Language:RustLicense:MPL-2.0Stargazers:0Issues:2Issues:0
Language:PythonLicense:MITStargazers:0Issues:3Issues:0

secartifacts.github.io

Website for Research Artifacts from the Security Community

Language:TeXStargazers:0Issues:0Issues:0
Language:LLVMStargazers:0Issues:2Issues:0

sllvm

Security Enhanced LLVM

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

systex2024

This repo contains resources and material related to my paper in systex2024. Paper title: Revisiting Rollbacks on Smart Contracts in TEE-protected Private Blockchains

Stargazers:0Issues:0Issues: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