☆13Sep 12, 2025Updated 10 months ago
Alternatives and similar repositories for delayAVF
Users that are interested in delayAVF are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- M1 bare metal project in Rust☆36Sep 1, 2022Updated 3 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆52Aug 12, 2022Updated 3 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆47May 8, 2025Updated last year
- An IOKit kext designed for microarchitectural security research on M1☆55Oct 30, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.☆26Jan 17, 2024Updated 2 years ago
- Side-channel Analysis☆20May 17, 2022Updated 4 years ago
- ⚖️ Zugang zu Recht - Access to Justice - A2J ⚖️☆14Updated this week
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆23Sep 24, 2023Updated 2 years ago
- A tool for checking the contract satisfaction for hardware designs☆12Jun 22, 2026Updated 3 weeks ago
- ☆19Feb 28, 2021Updated 5 years ago
- vTPM with SGX protection☆12May 30, 2019Updated 7 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”☆33Nov 14, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source code for DABANGG attack.☆10Mar 26, 2022Updated 4 years ago
- A custom 16-bit computer☆12Oct 17, 2018Updated 7 years ago
- Single qubit exact synthesis over Clifford + T algorithm in Java☆31Feb 27, 2026Updated 4 months ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 8 months ago
- Unity3D component system in MonoGame☆10Jan 15, 2017Updated 9 years ago
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆45Jul 9, 2026Updated last week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆42Nov 29, 2025Updated 7 months ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆20May 18, 2026Updated 2 months ago
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 简单的未优化的SRT除法器☆12Jun 16, 2024Updated 2 years ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Sep 18, 2021Updated 4 years ago
- A Minimal, Configurable, Single-User GTK3 LightDM Greeter☆10Jun 28, 2019Updated 7 years ago
- About the source code of "Merging Similar Patterns for Hardware Prefetching" paper, which is accepted in MICRO 2022.☆14Mar 1, 2023Updated 3 years ago
- protostar docker version☆14Dec 23, 2020Updated 5 years ago
- Fancy upgrade to console.log☆27May 30, 2026Updated last month
- Java Project MineSweeper Source Code☆13Jun 2, 2021Updated 5 years ago
- 给NEMU移植Linux Kernel!☆23Jun 1, 2025Updated last year
- Verilog program☆16Jul 27, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 基4booth乘法器设计与验证☆15Apr 28, 2024Updated 2 years ago
- ☆22Apr 13, 2026Updated 3 months ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆16Updated this week
- ☆27Jun 18, 2026Updated last month
- QEMU fork☆25May 28, 2026Updated last month
- QuardStar Tutorial is all you need !☆19Sep 11, 2024Updated last year
- ☆13Nov 27, 2021Updated 4 years ago