☆15Apr 13, 2021Updated 4 years ago
Alternatives and similar repositories for Donky
Users that are interested in Donky are comparing it to the libraries listed below
Sorting:
- ☆13Oct 8, 2021Updated 4 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆27Aug 10, 2020Updated 5 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- Open-source high-performance RISC-V processor☆32Dec 12, 2025Updated 2 months ago
- ☆16Nov 13, 2023Updated 2 years ago
- ☆17Sep 20, 2019Updated 6 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Aug 30, 2022Updated 3 years ago
- MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols☆30Sep 24, 2025Updated 5 months ago
- Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data☆20Oct 13, 2022Updated 3 years ago
- ☆25Jun 2, 2024Updated last year
- Buffer overflow testbed, research paper published at ACSAC 2011☆93Aug 9, 2017Updated 8 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- ☆20Mar 10, 2022Updated 3 years ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- SUPA☆28Jan 15, 2026Updated last month
- Security Test Benchmark for Computer Architectures☆21Sep 24, 2025Updated 5 months ago
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- ☆23Jun 23, 2023Updated 2 years ago
- A Secure and Memory-Efficient Heap Allocator☆34Jun 21, 2024Updated last year
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 3 years ago
- ☆25Jun 16, 2021Updated 4 years ago
- ☆28Nov 16, 2021Updated 4 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆61Apr 27, 2020Updated 5 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- Run Rocket Chip on VCU128☆30Oct 21, 2025Updated 4 months ago
- ☆35Dec 20, 2020Updated 5 years ago
- ☆37Dec 10, 2017Updated 8 years ago
- ☆46Updated this week
- The open-source component of Prime+Scope, published at CCS 2021☆37Jul 18, 2023Updated 2 years ago
- ☆37May 15, 2022Updated 3 years ago
- ☆34Dec 14, 2025Updated 2 months ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Updated this week
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆96Updated this week
- Line parser for GPS NMEA output. Can be used with all GPS click boards.☆11Aug 24, 2019Updated 6 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago