☆11Sep 8, 2022Updated 3 years ago
Alternatives and similar repositories for ENGRAFT
Users that are interested in ENGRAFT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Feb 16, 2026Updated 5 months ago
- Rollback protection for confidential services☆35Dec 21, 2025Updated 7 months ago
- ☆17Sep 20, 2021Updated 4 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Jun 17, 2026Updated last month
- Bioinformatic Interpreter with Intel SGX☆24Jun 3, 2020Updated 6 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.
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆66Apr 10, 2026Updated 3 months ago
- ☆60Jul 1, 2026Updated 2 weeks ago
- A CLI tool for interacting with SEV-SNP guest environment☆102Jun 23, 2026Updated 3 weeks ago
- Fully automated ipa decrypt (requires mac and connected jailbroken ios device)☆13Apr 23, 2022Updated 4 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- ☆12Oct 9, 2025Updated 9 months ago
- Simple and clear sample code for Remote Attestation☆12Aug 10, 2024Updated last year
- misc☆18May 26, 2015Updated 11 years ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆41Jul 15, 2026Updated last week
- 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.
- Distributed algorithms in Lean 4☆16Jun 26, 2026Updated 3 weeks ago
- ACC template generation engine☆12Jun 12, 2023Updated 3 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- ☆13Aug 4, 2022Updated 3 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆39Nov 16, 2022Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- Achieving true parallelism in Python 3.12☆12Apr 18, 2024Updated 2 years ago
- FACT (Functions Are Classes Too) is a programming language I made in high school designed to illustrate how complex concepts can be imple…☆14Mar 16, 2014Updated 12 years 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.
- PVSS & Scrape in rust☆11Jul 14, 2026Updated last week
- Design documents and interoperability tests for Interoperable RA-TLS projects☆15Updated this week
- Make/Encode some basic logic puzzles☆19Jul 10, 2024Updated 2 years ago
- This project aims IIT KGP students who are sitting for placement and internships to get the alerts on time☆18Jun 16, 2024Updated 2 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- Developer documentation for EMF APIs☆14Updated this week
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- Black box pen-testing and web based CTFs☆17Mar 6, 2023Updated 3 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.
- SCITT API Emulator☆10Nov 22, 2024Updated last year
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- Secure SQLite Database entirely inside a secure Intel SGX enclave (Linux).☆15Jun 29, 2020Updated 6 years ago
- ☆14Jun 11, 2020Updated 6 years ago
- ☆11Oct 21, 2024Updated last year
- Example project of an academic paper using the ACM SIG Proceedings template☆18Feb 24, 2019Updated 7 years ago
- RPerf: Accurate Latency Measurement Framework for RDMA☆15Apr 14, 2026Updated 3 months ago