☆12Sep 12, 2025Updated 6 months ago
Alternatives and similar repositories for delayAVF
Users that are interested in delayAVF are comparing it to the libraries listed below
Sorting:
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- M1 bare metal project in Rust☆32Sep 1, 2022Updated 3 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆49Aug 12, 2022Updated 3 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆43May 8, 2025Updated 10 months ago
- An IOKit kext designed for microarchitectural security research on M1☆46Oct 30, 2022Updated 3 years ago
- This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.☆24Jan 17, 2024Updated 2 years ago
- Side-channel Analysis☆19May 17, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆22Sep 24, 2023Updated 2 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 4 months ago
- ⚖️ Zugang zu Recht - Access to Justice - A2J ⚖️☆13Updated this week
- ☆19Feb 28, 2021Updated 5 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- Circuits and hardware security modules formally verified with Knox 🔐☆27Feb 1, 2025Updated last year
- Code for the paper “There’s Always a Bigger Fish”☆32Nov 14, 2024Updated last year
- A custom 16-bit computer☆12Oct 17, 2018Updated 7 years ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 4 months ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆12Mar 6, 2026Updated 2 weeks ago
- ☆79Mar 11, 2026Updated last week
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆41Updated this week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆19Mar 11, 2026Updated last week
- 简单的未优化的SRT除法器☆12Jun 16, 2024Updated last year
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 5 years ago
- Source code for DABANGG attack.☆10Mar 26, 2022Updated 3 years ago
- protostar docker version☆14Dec 23, 2020Updated 5 years ago
- A Minimal, Configurable, Single-User GTK3 LightDM Greeter☆10Jun 28, 2019Updated 6 years ago
- Java Project MineSweeper Source Code☆13Jun 2, 2021Updated 4 years ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- Fancy upgrade to console.log☆21Jun 1, 2022Updated 3 years ago
- 基4booth乘法器设计与验证☆15Apr 28, 2024Updated last year
- About the source code of "Merging Similar Patterns for Hardware Prefetching" paper, which is accepted in MICRO 2022.☆14Mar 1, 2023Updated 3 years ago
- QuardStar Tutorial is all you need !☆16Sep 11, 2024Updated last year
- ☆22Feb 14, 2022Updated 4 years ago
- Verilog program☆16Jul 27, 2020Updated 5 years ago
- ☆17Jun 26, 2025Updated 8 months ago
- 给NEMU移植Linux Kernel!☆22Jun 1, 2025Updated 9 months ago
- ☆12Nov 27, 2021Updated 4 years ago
- ☆27Mar 3, 2026Updated 2 weeks ago
- QEMU fork☆24Updated this week