anishathalye / chronitonLinks
A tool for formally verifying constant-time software against hardware π°οΈ
β12Updated 7 months ago
Alternatives and similar repositories for chroniton
Users that are interested in chroniton are comparing it to the libraries listed below
Sorting:
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities πβ35Updated 7 months ago
- β40Updated 2 months ago
- Easy SMT solver interactionβ35Updated last month
- Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"β16Updated 2 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitivesβ62Updated last year
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition syβ¦β17Updated this week
- Symbolic execution tool for Sail ISA specificationsβ78Updated last month
- CHERI-RISC-V model written in Sailβ64Updated last month
- Automatically generate a compiler using equality saturationβ30Updated last year
- BTOR2 MLIR projectβ26Updated last year
- benchmarking e-graph extractionβ47Updated 3 months ago
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and muβ¦β58Updated last year
- Verifying OpenTitanβ26Updated 2 years ago
- Bα΄α΄Κ2MLIR: A Format and Toolchain for Hardware Verificationβ15Updated 9 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.β14Updated 9 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formalβ¦β56Updated last month
- Website for CS 265β29Updated 8 months ago
- Rewrite Rule Inference Using Equality Saturationβ133Updated 2 months ago
- Formal specification and verification of hardware, especially for security and privacy.β126Updated 3 years ago
- IC3PO: IC3 for Proving Protocol Properties