Verifying OpenTitan
☆28Aug 20, 2023Updated 2 years ago
Alternatives and similar repositories for veri-titan
Users that are interested in veri-titan are comparing it to the libraries listed below
Sorting:
- Side-channel analysis setup for OpenTitan☆37Nov 3, 2025Updated 4 months ago
- A core language for rule-based hardware design 🦑☆173Dec 10, 2025Updated 3 months ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 4 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- The source code to the Voss II Hardware Verification Suite☆57Feb 16, 2026Updated last month
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆164Nov 20, 2025Updated 4 months ago
- Automatically exported from code.google.com/p/trellys☆47Jul 12, 2019Updated 6 years ago
- ☆14Jan 7, 2023Updated 3 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 9 years ago
- ☆17Mar 22, 2019Updated 6 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across diff…☆31Updated this week
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- A Library for Classical Propositional Logic in Agda☆16Nov 19, 2019Updated 6 years ago
- ☆11Apr 18, 2020Updated 5 years ago
- ☆11Jul 25, 2018Updated 7 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- ☆16May 20, 2019Updated 6 years ago
- Predictive-Corrective Incompressible SPH paper implementation☆14May 13, 2016Updated 9 years ago
- Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)☆13Nov 6, 2020Updated 5 years ago
- ☆14Nov 5, 2015Updated 10 years ago
- libs2e.so☆19Dec 19, 2020Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Page Cache Side Channel Attacks (CVE-2019-5489) proof of concept for Linux☆10Oct 2, 2021Updated 4 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Automatically add and delete imports in a Haskell module.☆17Feb 19, 2025Updated last year
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- Congruence Closure Procedure in Cubical Agda☆19Aug 19, 2020Updated 5 years ago
- Awesome list for High Performance Computing / Parallel Computing resources.☆12Sep 20, 2017Updated 8 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- FUSE based AES-CBC encrypted filesystem and encryption tool☆11Nov 12, 2017Updated 8 years ago
- Exploit code by DirtyChain☆14Apr 11, 2025Updated 11 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago