mustakimur / COIN-AttacksView external linksLinks
COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
☆26Dec 12, 2022Updated 3 years ago
Alternatives and similar repositories for COIN-Attacks
Users that are interested in COIN-Attacks are comparing it to the libraries listed below
Sorting:
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 4 years ago
- ☆10Feb 24, 2023Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- ☆14Oct 27, 2021Updated 4 years ago
- Ratel - a new framework for instruction-level interposition on enclaved applications☆25Dec 14, 2022Updated 3 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆55Mar 17, 2025Updated 11 months ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- ☆21Sep 7, 2022Updated 3 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 3 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 5 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 6 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 5 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- Simple memory benchmarking of Intel SGX☆12Aug 22, 2016Updated 9 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- AECS(Attestation based Enclave Configuration Service)☆14Jan 10, 2024Updated 2 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- A curated list of SGX code and resources.☆246May 27, 2024Updated last year
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 years ago
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Dec 18, 2023Updated 2 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Nov 8, 2017Updated 8 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆27Aug 10, 2020Updated 5 years ago
- SUPA☆28Jan 15, 2026Updated last month
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Sep 26, 2018Updated 7 years ago
- Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware☆171Mar 25, 2023Updated 2 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆28Apr 15, 2023Updated 2 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- ☆10Jun 10, 2024Updated last year
- ☆14Nov 11, 2025Updated 3 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Sep 2, 2023Updated 2 years ago
- ☆77Jun 14, 2018Updated 7 years ago