☆29Jul 27, 2020Updated 6 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:
- ☆10Jun 13, 2019Updated 7 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆133May 19, 2022Updated 4 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Formal verification of SecVisor, a secure hypervisor☆14Apr 23, 2013Updated 13 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.
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- Meaningful control of data in distributed systems.☆1,514Updated this week
- A git overlay for maildir, providing a strongly consistent index and allowing easy implementation of extra functionality.☆10May 16, 2019Updated 7 years ago
- Appium Tizen Driver is a test automation tool for Tizen devices. Appium Tizen Driver automates xamarin apps, tested on emulators and real…☆19Apr 7, 2023Updated 3 years ago
- Tizen.Appium is a service library that supports running Appium for Tizen applications.☆15Apr 7, 2023Updated 3 years ago
- A command line program to show a table of timezones☆14Apr 1, 2025Updated last year
- An OCaml EDSL for describing and solving strategic games☆18Sep 10, 2023Updated 3 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 7 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated last year
- Verified OxCaml for real projects and real performance.☆18Sep 8, 2026Updated last month
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 8 years ago
- Generates calendars in SVG, that you can convert to PDF and print.☆12May 4, 2022Updated 4 years ago
- OpenSCAD DSL for OCaml☆15Oct 4, 2022Updated 4 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 9 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- An OCaml wrapper library that makes it easy to send email with different services.☆25Nov 1, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆47Dec 11, 2022Updated 3 years ago
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆16Aug 15, 2022Updated 4 years ago
- Network Throttler☆11Sep 12, 2015Updated 11 years ago
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 12 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 6 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- ☆28Sep 9, 2020Updated 6 years ago
- NanoID implementation for OCaml.☆21Mar 30, 2023Updated 3 years ago
- Coq library on rewriting theory and termination☆37Jul 7, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Constant time equal function to avoid timing attacks in OCaml☆50Jun 27, 2024Updated 2 years ago
- CRAM testing framework☆22Sep 9, 2019Updated 7 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 8 months ago
- A case for the Icebreaker FPGA board☆10May 24, 2026Updated 5 months ago
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆18Oct 15, 2024Updated 2 years ago
- Command Line Interface for Dream applications.☆22Apr 9, 2022Updated 4 years ago
- ☆14Nov 10, 2019Updated 6 years ago