Tamarin models for state continuity of SGX enclave programs
☆14Aug 6, 2021Updated 5 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- A Tamarin model and analysis of EMV payments (Europay, Mastercard, Visa)☆37Feb 8, 2021Updated 5 years ago
- Simple and clear sample code for Remote Attestation☆12Aug 10, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- ☆12Nov 29, 2024Updated last year
- The repository contains the code for Windows console based application that uses Intel-SGX platform for file encryption/decryption using…☆12Dec 14, 2018Updated 7 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆30May 27, 2026Updated 5 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- In-tree DuckDB storage engine for MySQL 9.7: ENGINE=DuckDB with automatic whole-query pushdown — all 22 TPC-H queries push down, results …☆14Jul 30, 2026Updated 3 months ago
- Bioinformatic Interpreter with Intel SGX☆25Jun 3, 2020Updated 6 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 7 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 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.
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- ☆22Dec 2, 2022Updated 3 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- This repository contains Jupyter notebooks that demonstrate how to use Netspresso to prune pre-trained deep learning models from STM32AI …☆11May 28, 2024Updated 2 years ago
- Trusty OS, based on Android Trusty OS☆17Oct 4, 2022Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago
- 使用PyQt5完成的网络助手工具，支持多客户端并发☆16Aug 28, 2020Updated 6 years ago
- ☆18Mar 5, 2026Updated 7 months ago
- misc☆19May 26, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Class project for COMP-781, Robotics. This is a CUDA-based collision detector for motion planning.☆13Apr 29, 2019Updated 7 years ago
- TEESec: Pre-Silicon Vulnerability Discovery for Trusted Execution Environments☆12Apr 4, 2024Updated 2 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Apr 24, 2017Updated 9 years ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- PoC of an SGX enclave performing symmetric reencryption☆49Aug 25, 2016Updated 10 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Sep 8, 2022Updated 4 years ago
- ☆21Sep 7, 2022Updated 4 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- A C++ PMU and/or PDC Stream Simulator for IEEE C37.118.2☆13May 21, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Build Trusted Chain for Cloud Native in Confidential Computing Envrionment☆21Feb 25, 2025Updated last year
- Rust port of the Tamarin Prover☆14Updated this week
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 7 years ago
- ☆10Dec 8, 2019Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago