Skip to content

@pandora-tee Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes

Change the repository type filter

All

    Repositories list

    5 repositories

    • pandora

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •1•2•0•1•Updated May 6, 2024May 6, 2024

    • .github

      Public
      0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • pandora-examples

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • pandora-reports

      Public
      HTML
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • sgx-tracer

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023