apl-cornell / viaductLinks
An extensible compiler for cryptography.
☆21Updated 2 months ago
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 2 months ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated last year
- Rewrite Rule Inference Using Equality Saturation☆143Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated last week
- A foundational framework for modular cryptographic proofs in Coq☆70Updated last week
- ☆188Updated last week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated 3 weeks ago
- Language for high-assurance and high-speed cryptography☆316Updated last week
- 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
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆155Updated last month
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- Deductive verification infrastructure for probabilistic programs☆24Updated last month
- Lean models of Rust libraries☆22Updated last year
- RISC-V Specification in Coq☆116Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆84Updated this week
- Definition of the Viper intermediate verification language.☆90Updated this week
- A framework for smart contract verification in Coq☆124Updated 3 weeks ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆59Updated 4 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆127Updated 3 years ago
- VSCode extension that is designed to help automate writing of Coq proofs.☆114Updated 5 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆109Updated last week
- Compositional Verification of Composite Byzantine Protocols☆13Updated last year
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated last month
- SampCert : Verified Differential Privacy☆82Updated 6 months ago
- sketches for egg: a flexible, high-performance e-graph library☆29Updated last month
- Python bindings for egg☆49Updated 2 years ago
- Course website for Systems Verification Fall 2024☆13Updated 4 months ago
- Lem semantic definition language☆148Updated 8 months ago