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:
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆14Jul 21, 2023Updated 2 years ago
- download from opencores.org☆15May 4, 2018Updated 8 years ago
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11May 21, 2024Updated last year
- ☆18Nov 26, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Feb 19, 2020Updated 6 years ago
- OpenCCA: An Open Framework to Enable Arm CCA Research☆22Sep 10, 2025Updated 7 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 last year
- 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 last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Nov 28, 2024Updated last year
- Tamarin models for state continuity of SGX enclave programs☆15Aug 6, 2021Updated 4 years ago
- ☆38Jun 6, 2017Updated 8 years ago
- ☆17Jun 25, 2017Updated 8 years ago
- 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.☆73Mar 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 5 months ago
- Dual RISC-V DISC with integrated eFPGA☆18Oct 9, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- a blackbox network fuzzer for IoT devices☆57Sep 6, 2024Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 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
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆85Nov 10, 2025Updated 5 months ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 8 years ago
- 工业控制系统中实时篡改TE传感器与PLC可编程逻辑控制之间的Modbus/TCP通信数据☆13Jun 17, 2019Updated 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.
- Differential Address Trace Analysis☆63Mar 27, 2024Updated 2 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆24May 19, 2025Updated 11 months ago
- Custom Coprocessor Interface for VexRiscv☆10Sep 19, 2018Updated 7 years ago
- half-precision floating-point☆17Mar 2, 2026Updated 2 months ago