Erlang-Enclave-Thesis / sgx-erlang-extensionView external linksLinks
Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX
☆12Jun 19, 2020Updated 5 years ago
Alternatives and similar repositories for sgx-erlang-extension
Users that are interested in sgx-erlang-extension are comparing it to the libraries listed below
Sorting:
- Fastest SCRAM's implementation for Erlang & OTP, aiming at performance and statelessness for ease-of-use☆17Jan 27, 2026Updated 3 weeks ago
- ☆15Aug 16, 2021Updated 4 years ago
- Ansible Role for Envoy Proxy☆10Mar 27, 2023Updated 2 years ago
- Sign PDF files by placing an image on the PDF, using Wacom's signature pad, with Wacom Signature SDK, iText, and PDFiumViewer☆11Mar 8, 2017Updated 8 years ago
- Provides a simple way to queue and dispatch events to subscribers.☆12Aug 27, 2025Updated 5 months ago
- Linux kernel boot wrapper for FAST Models☆14Jul 4, 2013Updated 12 years ago
- Linux kernel source tree☆10Oct 11, 2017Updated 8 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- An inspector dashboard for filecoin☆10Aug 23, 2021Updated 4 years ago
- Erlang SSH Subsystem for Nerves firmware updates☆13Feb 3, 2026Updated 2 weeks ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- ☆13Feb 3, 2026Updated 2 weeks ago
- ACME client library for Erlang☆12Jan 19, 2026Updated 3 weeks ago
- A build system from the future 🖖☆22May 28, 2023Updated 2 years ago
- Openvpn client in a docker container.☆11Nov 5, 2024Updated last year
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- Sexy ssh makes batch ssh tasks sexy!☆16Jun 24, 2024Updated last year
- ☆13Jan 18, 2016Updated 10 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated last year
- Automatically exported from code.google.com/p/corkami☆10Mar 26, 2015Updated 10 years ago
- A smartcard manager (PKCS11)☆12Jan 22, 2021Updated 5 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- VerneMQ on Kubernetes - Auto Discovery Cluster☆12Jul 7, 2016Updated 9 years ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- Git Hooks for Atlassian JIRA & Pivotal Tracker☆17Jul 21, 2016Updated 9 years ago
- A detailed list of potentially dangerous file extensions☆17Jun 18, 2025Updated 7 months ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- Check OCSP status.☆10Oct 13, 2016Updated 9 years ago
- Study of US electrical grid. Build models for predicting demand based on weather.☆11Jul 19, 2024Updated last year
- xmldsig signatures in a browser☆10Nov 15, 2016Updated 9 years ago
- ヘッダーベース HTTP API フレームワーク☆14Nov 6, 2025Updated 3 months ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- Cyclone Jet Rocket is a DDoS tool for System Security Technology course☆10Jun 5, 2017Updated 8 years ago
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 4 years ago
- Deploy microk8s on OpenStack with MetalLB☆12Sep 28, 2022Updated 3 years ago
- ProxyConf is a control plane for Envoyproxy that simplifies and secures API management in enterprise environments. It leverages the OpenA…☆15Aug 21, 2025Updated 5 months ago
- A collection of notes and rules (Snort/Suricata, Sigma, and YARA) to identify various samples of malware.☆14Sep 7, 2021Updated 4 years ago
- A home automation lib that works with Home Assistant. Created in and for Gleam Lang.☆12Updated this week