baidu/sgxray external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

baidu/sgxray

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/baidu/sgxray)

Close

baidu / sgxrayView on GitHubMore

• External links
• Readme badge

SGXRay: a bounded verifier for Intel SGX enclaves

☆13Sep 10, 2021Updated 4 years ago

Alternatives and similar repositories for sgxray

Users that are interested in sgxray are comparing it to the libraries listed below

• soarlab / gelpia

  View on GitHub
  Rigorous Global Branch-and-Bound Optimizer
  ☆24Dec 13, 2024Updated last year
• tomzlh / distributed-transaction-coordinator

  View on GitHub
  ☆10Sep 7, 2021Updated 4 years ago
• boogie-org / symbooglix

  View on GitHub
  Symbolic Execution Engine for Boogie
  ☆29Dec 27, 2021Updated 4 years ago
• nextarch / collaborators

  View on GitHub
  NextArch Collaborators
  ☆12Oct 20, 2022Updated 3 years ago
• huaweicse / ServiceComb-CRM-WorkShop

  View on GitHub
  ServiceComb-CRM-WorkShop项目是使用ServiceComb构建完整CRM系统的教学Demo
  ☆10Nov 5, 2018Updated 7 years ago
• usboot / USBootPi

  View on GitHub
  Using the ARM single board as the USB disk or cdrom for the PC OS boot or installation
  ☆10Jun 11, 2016Updated 9 years ago
• StanPlatinum / Deflection

  View on GitHub
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Jan 10, 2025Updated last year
• glutamate / probably-baysig

  View on GitHub
  Model of baysig language in Haskell (minus estimate)
  ☆15Jun 23, 2016Updated 9 years ago
• intel / SGX-TDX-DCAP-QuoteVerificationService

  View on GitHub
  ☆11Oct 1, 2025Updated 5 months ago
• StarlingXWeb / starlingx-website

  View on GitHub
  StarlingX website
  ☆12Dec 3, 2025Updated 3 months ago
• huajiao-tv / dashboard

  View on GitHub
  ☆12Dec 30, 2022Updated 3 years ago
• koengit / intuit

  View on GitHub
  An automated theorem prover for intuitionistic propostional logic
  ☆14Sep 21, 2020Updated 5 years ago
• dn0sar / frontal_poc

  View on GitHub
  Proof-of-Concept of the Frontal Attack
  ☆11Jul 6, 2023Updated 2 years ago
• kfl / wpp

  View on GitHub
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Mar 20, 2021Updated 4 years ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago
• michael-emmi / ct-fuzz

  View on GitHub
  ☆11Oct 28, 2020Updated 5 years ago
• clayrat / modal-types

  View on GitHub
  Experiments with modal types
  ☆17Oct 20, 2020Updated 5 years ago
• Storyyeller / fnv-collider

  View on GitHub
  FNV hash collision generator
  ☆12Mar 2, 2017Updated 9 years ago
• fogus / unfix

  View on GitHub
  Infix and Postfix library for Clojure that was cut from the book.
  ☆32Feb 5, 2021Updated 5 years ago
• witan-org / witan

  View on GitHub
  An ocaml implementation of conflict-driven reasoning
  ☆14Jul 13, 2018Updated 7 years ago
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 7 years ago
• FusionDB / fusiondb-postgress

  View on GitHub
  Fusiondb is a simple and powerful federated database engine
  ☆11Sep 8, 2022Updated 3 years ago
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• enclaive / enclaive-portainerCC

  View on GitHub
  Making confidential compute docker, docker swarm and kubernetes management simple
  ☆10Jul 13, 2023Updated 2 years ago
• enochii / simple-pointer-analysis

  View on GitHub
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Dec 20, 2021Updated 4 years ago
• ekmett / half

  View on GitHub
  half-precision floating-point
  ☆17Updated this week
• blockhousetech / guardian

  View on GitHub
  ☆10Feb 24, 2023Updated 3 years ago
• cvc5 / LFSC

  View on GitHub
  LFSC Proof Checker
  ☆11Sep 14, 2023Updated 2 years ago
• aeraki-mesh / website

  View on GitHub
  https://www.aeraki.net
  ☆11May 30, 2025Updated 9 months ago
• sofastack-guides / sofamq-demo

  View on GitHub
  ☆11Jan 21, 2022Updated 4 years ago
• nextarch / toc

  View on GitHub
  NextArch Technical Oversight Committee (TOC)
  ☆13Oct 26, 2022Updated 3 years ago
• boogie-org / sdvbench

  View on GitHub
  Microsoft Static Driver Verifier Benchmarks
  ☆14Jul 21, 2017Updated 8 years ago
• capa-cloud / capa-java

  View on GitHub
  Mecha SDK of Cloud Application Api. Let the code achieve "write once, run anywhere". With the help of the Capa project, your Java applic…
  ☆14Aug 19, 2024Updated last year
• danielmaker / linux_study

  View on GitHub
  ☆12Nov 25, 2016Updated 9 years ago
• openeuler-mirror / KubeOS

  View on GitHub
  ☆17Sep 26, 2025Updated 5 months ago
• wangsu502 / SGX-SQLite3

  View on GitHub
  Secure SQLite Database entirely inside a secure Intel SGX enclave (Linux).
  ☆15Jun 29, 2020Updated 5 years ago
• Tencent / tke-kms-plugin

  View on GitHub
  Kubernetes KMS provider plugin, backed by Tencent Cloud KMS service
  ☆17Jul 25, 2024Updated last year
• dafny-lang / xdsmith

  View on GitHub
  Fuzz testing for Dafny
  ☆13Jul 7, 2022Updated 3 years ago
• quantumcore / orphicAC

  View on GitHub
  Demonstration of Google Chrome Passwords theft
  ☆10Apr 23, 2018Updated 7 years ago