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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Secure ZooKeeper using Intel SGX☆22Jan 12, 2017Updated 9 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Simple memory benchmarking of Intel SGX☆12Aug 22, 2016Updated 9 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 5 months ago
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Apr 16, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- Experimental encrypted file system using SGX and FUSE☆12Oct 9, 2018Updated 7 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- Compartmentalised monolithic library OS☆21Jul 15, 2021Updated 4 years ago
- Window-Based Hybrid CPU/GPU Stream Processing Engine☆42Nov 16, 2022Updated 3 years ago
- A fix to no audo problem with nexus 4 and cyanogenmod 11☆12Feb 2, 2015Updated 11 years ago
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning☆29Oct 21, 2025Updated 5 months ago
- Measuring the performance of popular streaming engines with Yahoo's Streaming Benchmark☆53May 10, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Implementation of a simple linear regression algorithm in MAMBA☆10Feb 12, 2020Updated 6 years ago
- ☆179Jan 7, 2023Updated 3 years ago
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆12Feb 7, 2017Updated 9 years ago
- A scalable anonymous blocklisting scheme☆12Oct 6, 2023Updated 2 years ago
- A Python wrapper for Komoot APIs☆17Apr 2, 2025Updated last year
- Source Code Transparency☆11Sep 25, 2023Updated 2 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- ☆28Sep 9, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tor anonymity network for SGX☆47Mar 4, 2019Updated 7 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated last year
- ☆11Oct 1, 2025Updated 6 months ago
- Private Proof API☆24Nov 12, 2025Updated 4 months ago
- Library for the Intel SGX SDK with basic helper functions☆19Oct 16, 2017Updated 8 years ago
- ☆22Dec 2, 2022Updated 3 years ago
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆14Jan 9, 2025Updated last year
- ikgt manifest☆42Aug 4, 2022Updated 3 years ago
- Messaging and state layer for distributed serverless applications☆69Oct 9, 2025Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Dynamic resources changes for multi-dimensional parallelism training☆30Aug 22, 2025Updated 7 months ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Aug 26, 2019Updated 6 years ago
- Perl extensions for the rxvt-unicode terminal emulator☆14Oct 7, 2017Updated 8 years ago
- BGN encryption scheme implementation using Go☆16Sep 5, 2020Updated 5 years ago
- Collection of MPC Protocols, mostly using libscapi☆13Nov 3, 2019Updated 6 years ago
- SDK for developing enclaves☆1,184Mar 19, 2026Updated 3 weeks ago
- Linux HID Gadget compatible FIDO U2F token implementation☆16Jun 26, 2017Updated 8 years ago