☆21Jul 22, 2026Updated 2 weeks ago
Alternatives and similar repositories for lvd-linux
Users that are interested in lvd-linux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Apr 9, 2022Updated 4 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- ☆40Feb 15, 2022Updated 4 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 5 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 6 years ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆20Mar 31, 2023Updated 3 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆79Dec 30, 2021Updated 4 years ago
- Research unikernel for virtualized services☆56Dec 6, 2022Updated 3 years ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆116Mar 28, 2024Updated 2 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Verifying the SCION architecture using Gobra☆12Updated this week
- A container engine from scratch in C language, without any LXC or Docker☆18Jun 17, 2022Updated 4 years ago
- ☆23Nov 12, 2020Updated 5 years ago
- AES-based random number generator in C☆11Apr 27, 2015Updated 11 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 6 years ago
- Research paper collection for Linux kernel security from top security conferences.☆83Jan 5, 2018Updated 8 years ago
- ☆30Mar 20, 2022Updated 4 years ago
- Vulnerability analyze☆17Sep 21, 2020Updated 5 years ago
- ☆50Nov 15, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Aug 13, 2014Updated 11 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- Alcatraz project for Black Hat USA 2021☆80Aug 5, 2021Updated 5 years ago
- DPDK-based UDP echo server☆13Mar 27, 2016Updated 10 years ago
- Compartmentalised monolithic library OS☆22Jul 15, 2021Updated 5 years ago
- Securing Embedded Systems with Return Address Integrity☆16Aug 19, 2024Updated last year
- kR^X: Comprehensive Kernel Protection Against Just-In-Time Code Reuse☆13Aug 21, 2017Updated 8 years ago
- ☆14Aug 18, 2025Updated 11 months ago
- Implementation of the Arm CCA attestation token in Rust☆14Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆40Nov 14, 2024Updated last year
- ☆22Jul 16, 2022Updated 4 years ago
- Minimal Rust wrapper for using sockets as IPC with file descriptor passing | now on https://codeberg.org/valpackett/tiny-nix-ipc☆15Oct 1, 2022Updated 3 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated last year
- FreeBSD's name/value pairs library☆15Jul 17, 2019Updated 7 years ago
- Infoarena sandbox for running user submitted code, in rust using namespaces and cgroups☆13Nov 18, 2019Updated 6 years ago
- userspace /proc filesystem☆12Jul 5, 2021Updated 5 years ago