apl-cornell / viaductLinks
An extensible compiler for cryptography.
☆21Updated last month
Alternatives and similar repositories for viaduct
Users that are interested in viaduct are comparing it to the libraries listed below
Sorting:
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆100Updated last month
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated last week
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 weeks ago
- ☆13Updated 5 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- RISC-V Specification in Coq☆116Updated 3 weeks ago
- Language for high-assurance and high-speed cryptography☆313Updated this week
- Rewrite Rule Inference Using Equality Saturation☆141Updated 4 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- ☆186Updated this week
- Definition of the Viper intermediate verification language.☆89Updated last week
- The VerCors verification toolset for verifying parallel and concurrent software☆80Updated this week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆30Updated 2 years ago
- A foundational framework for modular cryptographic proofs in Coq☆69Updated 3 weeks ago
- Compositional Verification of Composite Byzantine Protocols☆13Updated last year
- Formal specification and verification of hardware, especially for security and privacy.☆127Updated 3 years ago
- ☆33Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last week
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 5 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated last week
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆40Updated last year
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- A program synthesis framework for verified lifting applications☆57Updated 5 months ago
- Verifying concurrent storage and distributed systems☆206Updated this week