☆12Sep 12, 2025Updated 7 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☆33Sep 1, 2022Updated 3 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆50Aug 12, 2022Updated 3 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆43May 8, 2025Updated 11 months ago
- An IOKit kext designed for microarchitectural security research on M1☆47Oct 30, 2022Updated 3 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.
- This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.☆25Jan 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☆13Nov 4, 2025Updated 5 months ago
- ⚖️ Zugang zu Recht - Access to Justice - A2J ⚖️☆12Updated 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”☆33Nov 14, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 6 months ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆14Apr 23, 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…☆40Apr 25, 2026Updated last week
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆41Nov 29, 2025Updated 5 months ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆19Mar 11, 2026Updated last month
- 简单的未优化的SRT除法器☆12Jun 16, 2024Updated last year
- ☆95Mar 11, 2026Updated last month
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Source code for DABANGG attack.☆10Mar 26, 2022Updated 4 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 2 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
- QuardStar Tutorial is all you need !☆17Sep 11, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆22Apr 13, 2026Updated 2 weeks ago
- ☆17Jun 26, 2025Updated 10 months ago
- Verilog program☆16Jul 27, 2020Updated 5 years ago
- 给NEMU移植Linux Kernel!☆22Jun 1, 2025Updated 11 months ago
- ☆12Nov 27, 2021Updated 4 years ago
- ☆28Apr 21, 2026Updated last week
- QEMU fork☆24Apr 21, 2026Updated last week