Linux Security Hardening for Confidential Compute
☆69Sep 25, 2024Updated last year
Alternatives and similar repositories for ccc-linux-guest-hardening
Users that are interested in ccc-linux-guest-hardening are comparing it to the libraries listed below
Sorting:
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- Linux kernel branches for confidential compute research☆20Mar 31, 2025Updated 11 months ago
- ☆35Oct 29, 2025Updated 4 months ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆14Feb 23, 2026Updated last week
- ☆94Feb 27, 2026Updated last week
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Updated this week
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated last month
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- The Fast Lines of Code Counter☆11Aug 22, 2025Updated 6 months ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 2 years ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated 2 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Dec 20, 2024Updated last year
- ☆47Nov 15, 2021Updated 4 years ago
- ☆16Feb 9, 2026Updated 3 weeks ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Oct 10, 2024Updated last year
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ☆17Aug 31, 2023Updated 2 years ago
- A high-performance C library for Longest Prefix Match (LPM) lookups, supporting both a multi-bit trie of 8-bit stride for IPv4 and a wide…☆22Updated this week
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- ☆58Mar 26, 2025Updated 11 months ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.☆350Feb 24, 2026Updated last week
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆327Feb 27, 2026Updated last week
- ☆92Jun 20, 2025Updated 8 months ago
- A fuzzer for full VM kernel/driver targets☆776Feb 11, 2026Updated 3 weeks ago
- ☆19Jan 31, 2023Updated 3 years ago
- A pure-Rust library for VMware host-guest protocol ("VMXh backdoor")☆16Feb 6, 2026Updated last month
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Nov 27, 2025Updated 3 months ago
- A version of Griffin used to provide program traces☆15Sep 2, 2020Updated 5 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆11Dec 18, 2017Updated 8 years ago
- An End-to-End Distributed and Scalable Cloud KMS (Key Management System) built on top of Intel SGX enclave-based HSM (Hardware Security M…☆170Jul 25, 2024Updated last year
- AI cloud native pipeline for confidential and sustainable computing☆39Aug 4, 2025Updated 7 months ago