Awesome Open Source

Programming Languages

Search results for cryptography coq

6 search results found

Hacspec ⭐ 230

A specification language for cryptography primitives.

Foundational Cryptography Framework for machine-checked proofs of cryptography.

A foundational framework for modular cryptographic proofs in Coq

Aws Lc Verification ⭐ 16

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Cryptol Semantics ⭐ 15

Semantics for Cryptol

Verse Coq ⭐ 12

VERified asSembler for cryptographic primitives

Related Searches

Cryptography Cryptocurrency (1,658)

Encryption Cryptography (1,357)

Cryptography Bitcoin (1,044)

Python Cryptography (1,005)

Blockchain Cryptography (974)

C Cryptography (813)

Golang Cryptography (734)

C Plus Plus Cryptography (677)

Security Cryptography (628)

Cryptography Cipher (573)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.