weaversa / cryptol-courseLinks
The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.
☆26Updated last year
Alternatives and similar repositories for cryptol-course
Users that are interested in cryptol-course are comparing it to the libraries listed below
Sorting:
- RISC-V Specification in Coq☆116Updated last week
- Public snapshots of "ACSL by Example"☆120Updated last week
- Coq library for verified low-level programming☆61Updated 8 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆54Updated 3 months ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆58Updated 3 months ago
- Formal specification and verification of hardware, especially for security and privacy.☆128Updated 3 years ago
- A Verified Compiler for Gallina, Written in Gallina☆158Updated last month
- Mostly Automated Synthesis of Correct-by-Construction Programs☆157Updated last month
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆58Updated 4 years ago
- The People's Verification System☆167Updated this week
- Lem semantic definition language☆150Updated 9 months ago
- Frama-C and WP tutorial☆68Updated this week
- Automated generation of provably secure, zero-copy parsers from format specifications☆300Updated 3 weeks ago
- Gallina to Bedrock2 compilation toolkit☆65Updated this week
- A formal semantics of the RISC-V ISA in Haskell☆172Updated 2 years ago
- Coq library for tactics, basic definitions, sets, maps☆51Updated 3 weeks ago
- Verified Assembly Language for Everest☆301Updated last year
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- Verifying OpenTitan☆28Updated 2 years ago
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆163Updated last month
- Galois RISC-V ISA Formal Tools☆61Updated 4 months ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 7 years ago
- Cryptographic Protocol Shapes Analyzer☆37Updated 3 years ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- A foundational framework for modular cryptographic proofs in Coq☆72Updated 3 weeks ago
- Sources for the ANSI/ISO C Specification Language manual☆64Updated 2 months ago
- CertiCrypt Coq Framework☆37Updated 9 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- Binary analysis in HOL☆44Updated this week