MySQL-compatible database for GDPR compliance by construction.
☆34Sep 24, 2026Updated last month
Alternatives and similar repositories for K9db
Users that are interested in K9db are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆55Jun 15, 2026Updated 4 months ago
- ☆12Aug 29, 2020Updated 6 years ago
- Cryptographic Enforcement of End-to-End Data Privacy☆23Sep 27, 2022Updated 4 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 5 months ago
- ☆24Oct 6, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Conjure generator for Postman☆17Updated this week
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 4 years ago
- ☆50Mar 13, 2024Updated 2 years ago
- Pentium II microcode (dis)assembler and (de)scrambler☆23Feb 11, 2021Updated 5 years ago
- Pyasmer is a python bytecode manipulation library☆10Nov 20, 2024Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆40Sep 6, 2022Updated 4 years ago
- Artifact of PrivAnalyzer as described in the Usenix 2022 paper "PrivGuard: Privacy Regulation Compliance Made Easier"☆13Nov 24, 2021Updated 4 years ago
- bpf_fault is a framework enabling custom page fault handling with eBPF. Appeared in SOSP 2026.☆52Oct 11, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Multi-platform topology-aware memory management library☆12Apr 23, 2020Updated 6 years ago
- Linux kernel source tree☆35Oct 21, 2026Updated 2 weeks ago
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆35Mar 28, 2023Updated 3 years ago
- JavaScript implementation of garbled gates and 2PC boolean circuit protocols☆22Aug 8, 2022Updated 4 years ago
- ☆13Jan 7, 2023Updated 3 years ago
- ☆14Updated this week
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 5 years ago
- ☆17Mar 22, 2019Updated 7 years ago
- ☆17Jun 7, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- ☆11Apr 18, 2020Updated 6 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 4 years ago
- Page Cache Side Channel Attacks (CVE-2019-5489) proof of concept for Linux☆10Oct 2, 2021Updated 5 years ago
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 3 months ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- Exploit code by DirtyChain☆18Apr 11, 2025Updated last year
- ☆19Apr 14, 2024Updated 2 years ago
- ☆14Dec 20, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 7 years ago
- libopcodes-based disassembler☆36Aug 8, 2020Updated 6 years ago
- ☆25Oct 28, 2026Updated last week
- SGX protected filesystem demo☆12Jul 28, 2017Updated 9 years ago
- ☆12Nov 29, 2024Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Sep 4, 2022Updated 4 years ago
- This tool is the result of a reverse engineering process of the Windows service called SysMain. Time to interact with the prefetch files …☆33Nov 2, 2020Updated 6 years ago