Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)
☆18Aug 12, 2016Updated 9 years ago
Alternatives and similar repositories for mvarmor
Users that are interested in mvarmor are comparing it to the libraries listed below
Sorting:
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- Adelie's source code☆12Mar 2, 2022Updated 4 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Operating system demonstrating system transactions☆17Apr 19, 2017Updated 8 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆37Feb 24, 2016Updated 10 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
- ☆17Oct 9, 2023Updated 2 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 5 years ago
- Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…☆24Nov 12, 2019Updated 6 years ago
- Code and Data for AisaCCS 2018 paper: Hardware Performance Counters Can Detect Malware: Myth or Fact?☆22Feb 20, 2026Updated last week
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆23Aug 22, 2022Updated 3 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆22Aug 30, 2019Updated 6 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Clone of Dune http://dune.scs.stanford.edu/☆20Jan 29, 2014Updated 12 years ago
- ☆27Sep 5, 2025Updated 5 months ago
- ☆22Nov 16, 2023Updated 2 years ago
- Hodor-PKU☆26Sep 14, 2021Updated 4 years ago
- A port of the RIPE suite to RISC-V.☆29Oct 10, 2018Updated 7 years ago
- The artifact for SecSMT paper -- Usenix Security 2022☆31Oct 4, 2022Updated 3 years ago
- headless-ida-mcp-server☆30Apr 4, 2025Updated 10 months ago
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- Decentralized Reliability Engineering☆19Updated this week
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 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☆12May 13, 2020Updated 5 years ago
- ☆20Feb 18, 2026Updated last week
- Tiniest ELF (Executable and Linkable Format) executable☆14Aug 27, 2018Updated 7 years ago
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Mar 14, 2024Updated last year
- This repository has moved to other hosting☆11Jun 11, 2018Updated 7 years ago
- ☆11Nov 13, 2020Updated 5 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- Workshop collections of Firecracker.☆13Aug 2, 2020Updated 5 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- ☆13Oct 6, 2022Updated 3 years ago