☆14Dec 1, 2020Updated 5 years ago
Alternatives and similar repositories for SEVurity
Users that are interested in SEVurity are comparing it to the libraries listed below
Sorting:
- ☆14Nov 10, 2019Updated 6 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- caijiqhx notes☆17Oct 26, 2024Updated last year
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Virtual Machine Introspection (VMI) for memory forensics and machine-learning.☆27Jun 2, 2025Updated 9 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆29Aug 17, 2023Updated 2 years ago
- Security Test Benchmark for Computer Architectures☆21Sep 24, 2025Updated 5 months ago
- ☆32Jul 11, 2022Updated 3 years ago
- Implementation for the DIMVA'22 paper "Branch Different - Spectre Attacks on Apple Silicon"☆39Jul 29, 2022Updated 3 years ago
- A log4shell detector using ProGuardCORE☆10Aug 5, 2022Updated 3 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …☆10Nov 27, 2019Updated 6 years ago
- ☆94Feb 27, 2026Updated last week
- ☆10Dec 26, 2023Updated 2 years ago
- Simulation of my relay computer using angular☆11Feb 28, 2026Updated last week
- Workshop collections of Firecracker.☆13Aug 2, 2020Updated 5 years ago
- ☆10Nov 19, 2016Updated 9 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- Cross-platform C library for recursively traversing directory contents☆14Feb 22, 2026Updated last week
- ☆12May 15, 2022Updated 3 years ago
- A monolithic kernel based on ArceOS.☆14May 24, 2025Updated 9 months ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 9 months ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Implementation of the Arm CCA attestation token in Rust☆13Sep 23, 2025Updated 5 months ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 4 months ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- ☆11Nov 13, 2020Updated 5 years ago
- PNG library benchmarking and testing utility☆11May 16, 2023Updated 2 years ago
- ☆20Updated this week
- ☆13Oct 6, 2022Updated 3 years ago
- Top level for the November shuttle☆12Nov 20, 2021Updated 4 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆43Feb 15, 2024Updated 2 years ago
- EFI driver which disables Virtualization-based Security (VBS) in Microsoft Windows☆19Aug 1, 2024Updated last year