PLSysSec / FaCT
Flexible and Constant Time Programming Language
☆199Updated 3 years ago
Alternatives and similar repositories for FaCT:
Users that are interested in FaCT are comparing it to the libraries listed below
- Automated generation of provably secure, zero-copy parsers from format specifications☆266Updated this week
- Verified Assembly Language for Everest☆282Updated last year
- A work-in-progress language and compiler for verified low-level programming☆303Updated 3 weeks ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆427Updated last week
- Verified hash-based AMQ structures in Coq☆122Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- My personal repository of formally verified mathematics.☆295Updated 2 weeks ago
- ☆183Updated 5 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated 3 weeks ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 5 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Unison's source code☆107Updated last year
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated last week
- A simple program reducer for any language.☆73Updated last year
- Symbolic formula representation and solver interaction library☆157Updated this week
- Datalog with support for SMT queries and first-order functional programming☆156Updated 5 months ago
- Language for high-assurance and high-speed cryptography☆288Updated this week
- A static web application to explore and animate a TLA+ state graph.☆199Updated last year
- The Yices SMT Solver☆393Updated last week
- Verified implementation of TLS 1.3 in F*☆176Updated last month
- WASM builds of the Z3 SMT solver☆143Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Lem semantic definition language☆138Updated 3 weeks ago
- Checking that functions are constant time with Valgrind☆179Updated 8 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- ☆89Updated 3 years ago
- Constant-Time Toolkit☆295Updated 6 years ago
- Research prototype tool for modular formal verification of C, Rust and Java programs☆396Updated last week
- ☆152Updated last week
- The essence of Rust.☆123Updated 3 years ago