Pinned Repositories
governance
Confidential Computing Consortium Governance Documents
CCF
Confidential Consortium Framework
faulty-point-unit
Research artifact rated 'Reusable' for the paper "Faulty Point Unit: ABI Poisoning Attacks on Intel SGX" whiche appeared at ACSAC'20 and received an distinguished paper with artifacts award..
fosdem-website
FOSDEM website
github-explore
Community-curated topic and collection pages on GitHub
gitignore
A collection of useful .gitignore templates
governance
Confidential Computing Consortium Governance Documents
sancus-compiler
Secure compilation of annotated C code to protected modules
.github
sancus-riot
A Sancus-enabled version of the RIOT OS with protected scheduler enclave and certain availability guarantees.
fritzalder's Repositories
fritzalder/faulty-point-unit
Research artifact rated 'Reusable' for the paper "Faulty Point Unit: ABI Poisoning Attacks on Intel SGX" whiche appeared at ACSAC'20 and received an distinguished paper with artifacts award..
fritzalder/CCF
Confidential Consortium Framework
fritzalder/fosdem-website
FOSDEM website
fritzalder/github-explore
Community-curated topic and collection pages on GitHub
fritzalder/gitignore
A collection of useful .gitignore templates
fritzalder/governance
Confidential Computing Consortium Governance Documents
fritzalder/sancus-compiler
Secure compilation of annotated C code to protected modules
fritzalder/sancus-core
Minimal OpenMSP430 hardware extensions for isolation and attestation
fritzalder/sancus-examples
Examples and test suite
fritzalder/sancus-main
Top-level repository and build script
fritzalder/sancus-support
Untrusted support software and device drivers
fritzalder/sancus-website
https://distrinet.cs.kuleuven.be/software/sancus
fritzalder/secure-sensing
Evaluation artifacts that enable end-to-end-secured sensing (E2E sensing)
fritzalder/sgx-lkl
SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves
fritzalder/sgx-step
A practical attack framework for precise enclave execution control
fritzalder/vcd-tracer
Program trace graph generator based on vcd files