Skip to content

@mit-enclaves mit-enclaves

Change the repository type filter

All

    Repositories list

    34 repositories

    • argos

      Public
      MIT License
      •1•4•0•1•Updated Jul 1, 2025Jul 1, 2025

    • argos-monitor

      Public
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jul 1, 2025Jul 1, 2025

    • argos-experiment-seal

      Public
      SEAL setup to run on top of Tyche
      Just
      •0•2•0•0•Updated Jul 1, 2025Jul 1, 2025

    • argos-gramine-testbench

      Public
      Benchmark scripts and results for Tyche
      Just
      •0•0•0•0•Updated Mar 20, 2025Mar 20, 2025

    • SealPIR

      Public
      Example implementation of the SealPIR protocol
      C++
      •
      MIT License
      •60•0•0•0•Updated Mar 18, 2025Mar 18, 2025

    • SEAL

      Public
      Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
      C++
      •
      MIT License
      •761•0•0•0•Updated Mar 18, 2025Mar 18, 2025

    • wolftpm-sys

      Public
      Rust
      •0•0•0•0•Updated Mar 14, 2025Mar 14, 2025

    • argos-musl

      Public
      Musl fork for Tyche
      C
      •
      Other
      •0•0•0•0•Updated Mar 14, 2025Mar 14, 2025

    • argos-gramine

      Public
      A library OS for Linux multi-process applications, with Intel SGX support
      C
      •
      GNU Lesser General Public License v3.0
      •222•0•0•0•Updated Mar 7, 2025Mar 7, 2025

    • linux-kvm-argos

      Public
      C
      •
      Other
      •0•0•0•0•Updated Mar 6, 2025Mar 6, 2025

    • APSI

      Public
      APSI is a C++ library for Asymmetric (unlabeled or labeled) Private Set Intersection.
      C++
      •
      MIT License
      •47•0•0•0•Updated Mar 6, 2025Mar 6, 2025

    • wolfTPM

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 6, 2025Mar 6, 2025

    • argos_aws

      Public
      Dockerfile
      •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • microbenchmarks

      Public
      C
      •0•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • coherence

      Public
      Bluespec
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • riscy-OOO

      Public
      Bluespec
      •
      MIT License
      •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • security_monitor

      Public
      MIT Citadel Security Monitor
      C
      •
      MIT License
      •1•6•0•0•Updated Sep 30, 2024Sep 30, 2024

    • crypto_enclave

      Public
      Simple enclave implementing a cryptographic library
      C
      •0•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • hardware_tests

      Public
      Tests for Citadel Hardware
      Assembly
      •0•1•0•0•Updated Aug 30, 2024Aug 30, 2024

    • linux

      Public
      Run Linux on top of the MIT Secure Monitor
      C
      •0•1•0•0•Updated Jul 16, 2024Jul 16, 2024

    • qemu-citadel

      Public
      C
      •
      Other
      •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • micropython-testbench

      Public
      C
      •0•0•0•0•Updated Dec 5, 2023Dec 5, 2023

    • micropython

      Public
      MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
      C
      •
      Other
      •8.8k•0•0•0•Updated Dec 5, 2023Dec 5, 2023

    • coremark_enclave

      Public
      Simple enclave that implements the coremark benchmark
      C
      •0•1•0•0•Updated Nov 29, 2023Nov 29, 2023

    • qemu-sanctum

      Public
      Sanctum machine model for qemu
      C
      •
      Other
      •6.6k•0•0•0•Updated Nov 26, 2023Nov 26, 2023

    • connectal

      Public
      Bluespec
      •
      MIT License
      •0•0•0•0•Updated Oct 18, 2023Oct 18, 2023

    • citadel

      Public
      Citadel Parent Repository
      0•6•0•0•Updated Jun 23, 2023Jun 23, 2023

    • ed25519

      Public
      C
      •
      zlib License
      •0•0•0•0•Updated Jun 23, 2023Jun 23, 2023

    • secure_bootloader

      Public
      Secure Bootloader
      C
      •
      MIT License
      •0•0•0•0•Updated Jun 23, 2023Jun 23, 2023

    • enclave_skeleton

      Public
      Simple infrastructure to run an enclave
      C
      •0•0•0•0•Updated Apr 17, 2023Apr 17, 2023