Tamarin models for state continuity of SGX enclave programs
☆14Aug 6, 2021Updated 4 years ago
Alternatives and similar repositories for SGX-Enclave-Formal-Verification
Users that are interested in SGX-Enclave-Formal-Verification are comparing it to the libraries listed below
Sorting:
- ☆21Sep 7, 2022Updated 3 years ago
- A set of exercises for getting started with the Tamarin prover☆20Nov 2, 2023Updated 2 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Jun 12, 2025Updated 8 months ago
- PoC of an SGX enclave performing symmetric reencryption☆50Aug 25, 2016Updated 9 years ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- Diameter TCP to SCTP proxy☆13Feb 4, 2012Updated 14 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- High-level performance analyser toolkit for Intel SGX☆39Aug 30, 2019Updated 6 years ago
- BigInteger for scala with very fast modPow☆10Feb 13, 2026Updated 2 weeks ago
- ☆11Oct 31, 2025Updated 4 months ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Plasma Paper☆10Sep 13, 2017Updated 8 years ago
- Base Ubuntu image for the ownCloud stack☆11Feb 18, 2026Updated 2 weeks ago
- ☆14Nov 10, 2019Updated 6 years ago
- a subset of sql dialect for clickhouse db.☆13Jan 9, 2023Updated 3 years ago
- SHA and Shake for scala☆13Feb 13, 2026Updated 2 weeks ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 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
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- ☆13Aug 4, 2022Updated 3 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- ☆11Jun 10, 2024Updated last year
- Simple and clear sample code for Remote Attestation☆11Aug 10, 2024Updated last year
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- a rebuild of marionette, encrypted programmable traffic obfuscation proxy☆12Nov 29, 2023Updated 2 years ago
- Experimental port of the TFHE fully homomorphic encryption scheme to Rust.☆12Aug 15, 2022Updated 3 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- Useful tools for reverse out of the box (Unix compatible)☆11Aug 31, 2024Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated 3 weeks ago
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆10Apr 20, 2021Updated 4 years ago
- Open sourced implementation of a prototype for Hyperledger Fabric chaincode execution with OP-TEE. This work is part of the master thesis…☆14Sep 10, 2019Updated 6 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- A WIP oracle server☆12Feb 4, 2023Updated 3 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- ☆13Apr 17, 2024Updated last year
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆49Apr 15, 2018Updated 7 years ago