Stars
A Symbolic Execution Engine for Dynamic Kernel Analysis
A library OS for Linux multi-process applications, with Intel TDX support (experimental)
Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25
go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamental components of an attestation quote.
MarbleRun is the control plane for confidential computing. Deploy, scale, and verify your confidential microservices on vanilla Kubernetes. 100% Go, 100% cloud native, 100% confidential.
A curated list of open-source projects that help exploit Intel SGX technology
A fork and successor of the Sulley Fuzzing Framework
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
Coveraged-based fuzzer for finding DBMS logical bugs
A framework for distributed systems verification, with fault injection
Automated testing to find logic and performance bugs in database systems
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workl…