SGXRay: a bounded verifier for Intel SGX enclaves
☆13Sep 10, 2021Updated 5 years ago
Alternatives and similar repositories for sgxray
Users that are interested in sgxray are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- FPRoCK is a software library for checking satisfiability of a set of mixed real and floating-point constraints. If this set of constraint…☆14Jun 30, 2021Updated 5 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- In-memory encrypted Hashicorp Key Vault with Intel SGXv2 enclave technology and attestation plugin☆15Feb 20, 2024Updated 2 years ago
- NextArch Collaborators☆13Oct 20, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NextArch Technical Oversight Committee (TOC)☆12Oct 26, 2022Updated 4 years ago
- ☆13Oct 1, 2025Updated last year
- solver for the reachability modulo theories problem☆64Aug 11, 2026Updated 2 months ago
- OpenDTeX project: Secure Boot components☆10Mar 6, 2015Updated 11 years ago
- Making confidential compute docker, docker swarm and kubernetes management simple☆10Jul 13, 2023Updated 3 years ago
- HIGHFLIP: An easy way to bridge different federal learning platforms☆22Aug 31, 2023Updated 3 years ago
- k8s ConfigMaps and Secrets Usage.☆11Jan 24, 2025Updated last year
- ☆17Jul 30, 2026Updated 3 months ago
- OSCAR 2022 可信开源大会上的「OSCAR·开源之书·共读书单」小册子项目。☆27Jul 23, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AES-NI Crypto for Intel SGX☆13Jul 23, 2020Updated 6 years ago
- ☆12Nov 25, 2016Updated 9 years ago
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Collection of user-contributed plugins for StarCluster☆13Jul 19, 2015Updated 11 years ago
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- Implementations of various toy programming languages☆11Apr 19, 2018Updated 8 years ago
- An open-source license compliance analysis and license recommendation tool.☆30Jul 22, 2026Updated 3 months ago
- Racket utilities for manipulating C source code.☆12Mar 15, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 📖 UI/UX context detection engine☆12Jan 3, 2021Updated 5 years ago
- Fuzz testing for Dafny☆12Jul 7, 2022Updated 4 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 7 years ago
- Demonstration of Google Chrome Passwords theft☆10Apr 23, 2018Updated 8 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆47Mar 24, 2026Updated 7 months ago
- Library for attesting VM workloads inside of an Intel TDX environment☆15Oct 19, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An Automatic Prompt Optimization Framework for Large Language Models☆14Aug 1, 2025Updated last year
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 4 years ago
- Experiments with modal types☆16Oct 20, 2020Updated 6 years ago
- ☆15Jun 28, 2025Updated last year
- half-precision floating-point☆18Sep 19, 2026Updated last month
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 10 years ago
- An open-source project for CosmWasm smart contract developers☆30Jan 4, 2023Updated 3 years ago