lsds/LibSEAL 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

lsds/LibSEAL

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/lsds/LibSEAL)

Close

lsds / LibSEALView on GitHubMore

• External links
• Readme badge

Secure auditing of Internet services with Intel SGX

☆23Apr 30, 2021Updated 4 years ago

Alternatives and similar repositories for LibSEAL

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

• lsds / TaLoS

  View on GitHub
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆109Jan 25, 2022Updated 4 years ago
• dburihabwa / sgx-fs

  View on GitHub
  Experimental encrypted file system using SGX and FUSE
  ☆12Oct 9, 2018Updated 7 years ago
• sereca / SecureKeeper

  View on GitHub
  Secure ZooKeeper using Intel SGX
  ☆22Jan 12, 2017Updated 9 years ago
• oweisse / hot-calls

  View on GitHub
  Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper
  ☆24Apr 16, 2021Updated 4 years ago
• lsds / sgx-membench

  View on GitHub
  Simple memory benchmarking of Intel SGX
  ☆12Aug 22, 2016Updated 9 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• light1021 / SGX-protected-fs-demo

  View on GitHub
  SGX protected filesystem demo
  ☆12Jul 28, 2017Updated 8 years ago
• yasukata / ELISA

  View on GitHub
  ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines
  ☆21Nov 1, 2025Updated 3 months ago
• utds3lab / sgxelide

  View on GitHub
  A code confidentiality framework for Intel SGX
  ☆19Jan 8, 2019Updated 7 years ago
• lsds / CubicleOS

  View on GitHub
  Compartmentalised monolithic library OS
  ☆20Jul 15, 2021Updated 4 years ago
• epfl-dcsl / gotee

  View on GitHub
  ☆28Sep 9, 2020Updated 5 years ago
• intel / sgx-ra-sample

  View on GitHub
  ☆179Jan 7, 2023Updated 3 years ago
• intel / vtpm-td

  View on GitHub
  ☆42Sep 4, 2025Updated 5 months ago
• lsds / intravisor

  View on GitHub
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Jun 5, 2024Updated last year
• HexHive / specrop

  View on GitHub
  Code repository for experiments in SpecROP paper
  ☆13Sep 3, 2021Updated 4 years ago
• FiveDirections / IMA

  View on GitHub
  Linux integrity monitoring for CentOS/RHEL
  ☆12May 13, 2020Updated 5 years ago
• Toodyao / 8086-CPU

  View on GitHub
  A simple 8086-CPU simulator using Verilog and Quartus II
  ☆10Jul 9, 2018Updated 7 years ago
• masc-ucsc / cmpe220fall16

  View on GitHub
  Public repository of the UCSC CMPE220 class project
  ☆10Oct 8, 2017Updated 8 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆45Mar 21, 2024Updated last year
• cc-api / cc-trusted-vmsdk

  View on GitHub
  VMSDK implements the Evidence API
  ☆11Nov 25, 2024Updated last year
• floapfel / MAMBA-implementations

  View on GitHub
  Implementation of a simple linear regression algorithm in MAMBA
  ☆10Feb 12, 2020Updated 6 years ago
• shdnx / dangless-malloc

  View on GitHub
  A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …
  ☆10Nov 27, 2019Updated 6 years ago
• control-flow-attestation / c-flat

  View on GitHub
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆44Aug 12, 2016Updated 9 years ago
• amosbe / spectre-without-shared-memory

  View on GitHub
  Spectre variant 1 exploitation via PRIME+PROBE
  ☆10May 22, 2019Updated 6 years ago
• XUANTIE-RV / zero_stage_boot

  View on GitHub
  ☆18Feb 11, 2026Updated 2 weeks ago
• arceos-org / arceos-staging

  View on GitHub
  An experimental modular OS written in Rust.
  ☆12Jul 19, 2024Updated last year
• CGCL-codes / Gen-AF

  View on GitHub
  The implementation of our IEEE S&P 2024 paper "Securely Fine-tuning Pre-trained Encoders Against Adversarial Examples".
  ☆11Jun 28, 2024Updated last year
• amiller / sgx-epid-contest

  View on GitHub
  Good Riddance to EPID Pre-Deprecation Memorial Contest
  ☆12Dec 22, 2023Updated 2 years ago
• rust-vmm / vm-fdt

  View on GitHub
  ☆20Feb 18, 2026Updated last week
• arceos-org / starry-next

  View on GitHub
  A monolithic kernel based on ArceOS.
  ☆14May 24, 2025Updated 9 months ago
• UzL-ITS / SEVurity

  View on GitHub
  ☆14Dec 1, 2020Updated 5 years ago
• choukh / MetaZF

  View on GitHub
  Coq集合模型论
  ☆11Aug 18, 2022Updated 3 years ago
• rozbb / snarkblock

  View on GitHub
  A scalable anonymous blocklisting scheme
  ☆12Oct 6, 2023Updated 2 years ago
• veraison / rust-ccatoken

  View on GitHub
  Implementation of the Arm CCA attestation token in Rust
  ☆13Sep 23, 2025Updated 5 months ago
• Freax13 / test-kernel

  View on GitHub
  ☆13Oct 6, 2022Updated 3 years ago
• martindisch / aes-ccm

  View on GitHub
  Rust port of TinyCrypt's CCM mode implementation using RustCrypto's AES
  ☆13Jun 13, 2020Updated 5 years ago
• starfive-tech / bootloader_recovery

  View on GitHub
  ☆12May 15, 2022Updated 3 years ago
• dwchiang / firecracker-workshops

  View on GitHub
  Workshop collections of Firecracker.
  ☆13Aug 2, 2020Updated 5 years ago
• PyFive-RISC-V / pyfive_top_202011

  View on GitHub
  Top level for the November shuttle
  ☆12Nov 20, 2021Updated 4 years ago