The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures".
☆16Aug 3, 2022Updated 3 years ago
Alternatives and similar repositories for gap-attacks
Users that are interested in gap-attacks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆20May 18, 2026Updated 3 weeks ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- VCD visualizer: view your waveforms in ASCII format, or export them to TikZ figures.☆34Nov 2, 2025Updated 7 months ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆14Jul 21, 2023Updated 2 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 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.
- download from opencores.org☆16May 4, 2018Updated 8 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated 2 years ago
- ☆20Nov 26, 2025Updated 6 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Feb 19, 2020Updated 6 years ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆22Sep 10, 2025Updated 9 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- ☆37Mar 20, 2017Updated 9 years ago
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/C…☆20Mar 28, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Vehicular component authentication and software isolation☆13Nov 29, 2021Updated 4 years ago
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- A tool for estimating a system's information leakage via Machine Learning☆10Jun 28, 2024Updated last year
- ☆64Mar 5, 2026Updated 3 months ago
- ☆16Nov 28, 2024Updated last year
- Examples of converting different open-source deep learning models to TAO compatible format through TAO BYOM package.☆12Dec 13, 2022Updated 3 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- ☆38Jun 6, 2017Updated 9 years ago
- ☆17Jun 25, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Re-host of ISCAS89 sequential benchmark circuits in higher level verilog (without "DFF")☆17Dec 3, 2021Updated 4 years ago
- The openMSP430 is a synthesizable 16bit microcontroller core written in Verilog.☆74Mar 31, 2018Updated 8 years ago
- Protecting user secrets from compromised browsers and operating systems☆18Sep 14, 2018Updated 7 years ago
- An experimental (but fully functional) Remote Attestation Engine and Applications for TPM2.0 based systems (cloud, edge, IoT etc)☆29Dec 2, 2025Updated 6 months ago
- Dual RISC-V DISC with integrated eFPGA☆18Oct 9, 2021Updated 4 years ago
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- a blackbox network fuzzer for IoT devices☆57Sep 6, 2024Updated last year
- Source code of the U-TRR methodology presented in "Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHamme…☆18Nov 15, 2022Updated 3 years ago
- Industrial Hacking Simulator☆27Feb 21, 2026Updated 3 months ago
- 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 simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 4 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- ☆17Mar 7, 2023Updated 3 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆20Mar 20, 2021Updated 5 years ago
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆15Feb 7, 2022Updated 4 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- A nest brain simulator based on FPGA(LIF NEURON)☆16Dec 14, 2021Updated 4 years ago