SGX-secured Function-as-a-Service
☆15Mar 17, 2023Updated 2 years ago
Alternatives and similar repositories for sfaas
Users that are interested in sfaas are comparing it to the libraries listed below
Sorting:
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- COOL Source Code☆20Jun 6, 2020Updated 5 years ago
- An Efficient Storage Engine for Blockchain and Forkable Applications☆25Oct 11, 2023Updated 2 years ago
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Apr 16, 2021Updated 4 years ago
- the source code of the COOL system☆47Mar 19, 2025Updated 11 months ago
- Security tools and resources☆11Dec 29, 2018Updated 7 years ago
- Implementation for the protocols described in https://eprint.iacr.org/2023/1700☆14Jan 9, 2025Updated last year
- Package, experimentation results, and other artifacts for the serverless computing performance modeling paper.☆10Jun 22, 2022Updated 3 years ago
- NVMesh Container Storage Interface (CSI) Driver for Kubernetes☆11Oct 7, 2024Updated last year
- Hardware Trojan on a Basis 3 FPGA for Hardware and Embedded Systems Security☆11May 1, 2017Updated 8 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆40Nov 16, 2022Updated 3 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year
- Computer Architecture UIUC SP 2018☆14May 4, 2018Updated 7 years ago
- Simulation tool for CDN replication in large low-earth orbit satellite access networks.☆13May 17, 2021Updated 4 years ago
- ☆10Apr 29, 2020Updated 5 years ago
- This is the implementation of our research system Illuminator that was published in ASPLOS 2018 with the title "Making Huge Pages Actuall…☆11Sep 11, 2020Updated 5 years ago
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆12Feb 7, 2017Updated 9 years ago
- ☆14Jan 20, 2025Updated last year
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- Falconn++ is a locality-sensitive filtering (LSF) approach, built on top of cross-polytope LSH (FalconnLib) to answer approximate nearest…☆13Aug 5, 2024Updated last year
- A false sharing detection and repair tool☆14Jan 31, 2026Updated last month
- ☆13Feb 16, 2023Updated 3 years ago
- Event-driven Space-Terrestrial Network Testbed (ESTNeT)☆16Feb 9, 2024Updated 2 years ago
- BGN encryption scheme implementation using Go☆16Sep 5, 2020Updated 5 years ago
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 4 years ago
- Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogene…☆12Jan 4, 2024Updated 2 years ago
- ☆58Mar 26, 2025Updated 11 months ago
- open source version of Umbra☆17Aug 11, 2023Updated 2 years ago
- ☆13Dec 3, 2021Updated 4 years ago
- TinyLEO: Small-scale LEO Satellite Networking for Global-scale Demands☆22Aug 14, 2025Updated 6 months ago
- Artifacts Release: A Case for Stateless Mobile Core Network Functions in Space☆16Aug 16, 2022Updated 3 years ago
- ☆12Jan 26, 2019Updated 7 years ago
- prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave☆15Dec 6, 2018Updated 7 years ago
- Generic anonymous routing protocol framework agnostic to encryption algorithm and transport layer☆15Jun 16, 2018Updated 7 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- LEOScope: a global testbed for experimentation and development across Low-Earth Orbit satellite networks.☆16Jun 22, 2025Updated 8 months ago
- ☆57Feb 5, 2024Updated 2 years ago
- Astrape: Anonymous Payment Channels with Boring Cryptography (extended version)☆13Apr 9, 2022Updated 3 years ago
- Securing Data Analytics on Intel SGX using Randomization☆13Aug 30, 2017Updated 8 years ago