☆28Jul 27, 2020Updated 5 years ago
Alternatives and similar repositories for hafnium-verification
Users that are interested in hafnium-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MesaLock Linux packages.☆14Dec 19, 2018Updated 7 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆132May 19, 2022Updated 3 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Cost-Aware Robust Tree Ensembles for Security Applications (Usenix Security'21) https://arxiv.org/pdf/1912.01149.pdf☆18Mar 2, 2021Updated 5 years ago
- Meaningful control of data in distributed systems.☆1,463Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A command line program to show a table of timezones☆14Apr 1, 2025Updated 11 months ago
- A fast, general purpose crypto library in pure Rust.☆21Aug 26, 2018Updated 7 years ago
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆15Aug 15, 2022Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆43Dec 11, 2022Updated 3 years ago
- An OCaml EDSL for describing and solving strategic games☆17Sep 10, 2023Updated 2 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 5 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated 11 months ago
- Generates calendars in SVG, that you can convert to PDF and print.☆12May 4, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆17Oct 15, 2024Updated last year
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- NanoID implementation for OCaml.☆20Mar 30, 2023Updated 2 years ago
- literate programming meets unison☆28Mar 18, 2026Updated last week
- CRAM testing framework☆22Sep 9, 2019Updated 6 years ago
- ☆16Mar 6, 2026Updated 2 weeks ago
- The framework for next generation data center.☆29Aug 24, 2025Updated 7 months ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 6 years ago
- ☆28Sep 9, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Tiny project with that demonstrates how to enable Return Flow Guard☆12Feb 7, 2017Updated 9 years ago
- A symbolic analyser for shell scripts.☆22Sep 17, 2021Updated 4 years ago
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 11 years ago
- This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project☆12Apr 30, 2025Updated 10 months ago
- Xen core platform libraries for MirageOS☆18Feb 5, 2025Updated last year
- Emacs client for statistical memory profiler☆17Mar 26, 2020Updated 6 years ago
- ☆33Dec 24, 2021Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Project Trellis database☆14Sep 15, 2025Updated 6 months ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 12 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Oct 2, 2020Updated 5 years ago
- Render *.drawio files to PNG or PDF files in a GitHub Action☆15Sep 18, 2023Updated 2 years ago
- Qiling Framework Documentation☆18Mar 9, 2025Updated last year
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 4 months ago
- fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.☆26Apr 2, 2025Updated 11 months ago