The Solo5 unikernel
☆14Apr 10, 2019Updated 6 years ago
Alternatives and similar repositories for solo5
Users that are interested in solo5 are comparing it to the libraries listed below
Sorting:
- ☆11Jun 10, 2024Updated last year
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- Basic password manager library and command-line application in OCaml☆12Mar 14, 2018Updated 7 years ago
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Mar 12, 2020Updated 5 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Continuous Integration for MirageOS using DataKit's git workflow☆20Oct 19, 2020Updated 5 years ago
- haesni is a small hash function using aes-ni for fast string hashing☆19Oct 6, 2018Updated 7 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Mar 19, 2024Updated last year
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Nov 11, 2013Updated 12 years ago
- Transparent zero-copy IO☆26Mar 31, 2024Updated last year
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- A sandboxed execution environment for unikernels☆971Updated this week
- OCaml Build Infrastructure☆31Jul 7, 2020Updated 5 years ago
- Code to evaluate XLATE attacks as well existing cache attacks.☆31Aug 17, 2018Updated 7 years ago
- Composable image processing library for OCaml☆41Sep 30, 2025Updated 5 months ago
- LibVMI Python bindings☆35Sep 4, 2025Updated 6 months ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- ☆34Feb 27, 2025Updated last year
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- ☆32Jul 11, 2022Updated 3 years ago
- R7RS SRFI implementations☆33Oct 2, 2024Updated last year
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- ☆34Nov 7, 2022Updated 3 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Updated this week
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- ☆41Feb 26, 2023Updated 3 years ago
- Public repository of the UCSC CMPE220 class project☆10Oct 8, 2017Updated 8 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- 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
- A Python project for the Raspberry Pi that pushes weather forecast information and upcoming calendar events to an image or screen.☆10Dec 23, 2024Updated last year
- Infrastructure to collect metrics from OCaml applications.☆46Jun 16, 2025Updated 8 months ago
- ☆13Aug 7, 2021Updated 4 years ago
- PSD, the Portable Scheme Debugger☆13Aug 26, 2022Updated 3 years ago