Hardware-assisted Dynamic Information Flow Tracking for Runtime Protection on RISC-V
☆11Oct 16, 2023Updated 2 years ago
Alternatives and similar repositories for Raft
Users that are interested in Raft are comparing it to the libraries listed below
Sorting:
- ☆34Nov 7, 2022Updated 3 years ago
- ☆35Jul 23, 2023Updated 2 years ago
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assembly☆17Jun 7, 2021Updated 4 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆20Jun 26, 2020Updated 5 years ago
- All the tools you need to reproduce the CellIFT paper experiments☆24Feb 11, 2025Updated last year
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆27Aug 10, 2020Updated 5 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆80Nov 10, 2025Updated 3 months ago
- Implementation for the DIMVA'22 paper "Branch Different - Spectre Attacks on Apple Silicon"☆39Jul 29, 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
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆38Sep 6, 2022Updated 3 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- ☆41Feb 26, 2023Updated 3 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- ☆14Aug 4, 2021Updated 4 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 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
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆44Aug 12, 2016Updated 9 years ago
- ☆14Dec 1, 2020Updated 5 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- simple ansible playbook to take clean ubuntu 18.04 to CUDA 10, PyTorch 1.0, fastai, miniconda heaven☆12Dec 16, 2018Updated 7 years ago
- Cross-platform C library for recursively traversing directory contents☆14Updated this week
- ☆12May 15, 2022Updated 3 years ago
- Implementation of the Arm CCA attestation token in Rust☆13Sep 23, 2025Updated 5 months ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- WriteUps for CTF☆10Nov 13, 2024Updated last year
- ☆13Oct 6, 2022Updated 3 years ago
- ☆11Jun 10, 2024Updated last year
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- The implementation of our IEEE S&P 2024 paper "Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples".☆11Jun 28, 2024Updated last year
- Operating System☆10Jun 14, 2025Updated 8 months ago
- ☆20Feb 18, 2026Updated last week
- Unofficial mirror of☆11Feb 2, 2018Updated 8 years ago
- ☆10Dec 26, 2023Updated 2 years ago
- PNG library benchmarking and testing utility☆11May 16, 2023Updated 2 years ago
- RISCulator is a RISC-V emulator.☆12Aug 18, 2023Updated 2 years ago