vrahli / damysusView external linksLinks
☆13Jan 30, 2025Updated last year
Alternatives and similar repositories for damysus
Users that are interested in damysus are comparing it to the libraries listed below
Sorting:
- ☆11Sep 8, 2022Updated 3 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- Securing System Logs With Intel SGX☆16Mar 31, 2017Updated 8 years ago
- A CLI tool for interacting with SEV-SNP guest environment☆86Jan 23, 2026Updated 3 weeks ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆38Feb 2, 2026Updated last week
- ☆22Jul 16, 2022Updated 3 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Feb 6, 2026Updated last week
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- Sample EVM application for CCF☆14Aug 23, 2021Updated 4 years ago
- Research unikernel for virtualized services☆52Dec 6, 2022Updated 3 years ago
- ACC template generation engine☆12Jun 12, 2023Updated 2 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- 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
- Linux integrity monitoring for CentOS/RHEL☆10May 13, 2020Updated 5 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
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 3 months ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 8 years ago
- Design documents and interoperability tests for Interoperable RA-TLS projects☆13Jan 8, 2024Updated 2 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- ☆19Jul 30, 2024Updated last year
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- Hypervisor from scratch in linux☆13May 8, 2022Updated 3 years ago
- ☆10Dec 26, 2023Updated 2 years ago
- ☆18Updated this week
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- PNG library benchmarking and testing utility☆11May 16, 2023Updated 2 years ago
- Top level for the November shuttle☆12Nov 20, 2021Updated 4 years ago
- ☆10Jun 10, 2024Updated last year
- Workshop collections of Firecracker.☆13Aug 2, 2020Updated 5 years ago
- The implementation of our IEEE S&P 2024 paper "Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples".☆11Jun 28, 2024Updated last year
- ☆11Sep 22, 2017Updated 8 years ago
- Rust port of TinyCrypt's CCM mode implementation using RustCrypto's AES☆13Jun 13, 2020Updated 5 years ago
- EFI driver which disables Virtualization-based Security (VBS) in Microsoft Windows☆17Aug 1, 2024Updated last year