Awesome Open Source

Programming Languages

Search results for cryptography formal verification

formal-verification x

11 search results found

Hacl Star ⭐ 1,575

HACL*, a formally verified cryptographic library written in F*

Hacspec ⭐ 230

A specification language for cryptography primitives.

XCrypto: a cryptographic ISE for RISC-V

Information about the Interchain Foundation Funding Program

A foundational framework for modular cryptographic proofs in Coq

The formally verified crypto library for Rust

Scarv Cpu ⭐ 18

SCARV: a side-channel hardened RISC-V platform

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.

A cryptographic framework, proven for correctness in SPARK

Croyde Riscv ⭐ 10

A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.

Cryptographic protocol analysis for real-world protocols.

Related Searches

Cryptography Cryptocurrency (1,658)

Encryption Cryptography (1,333)

Cryptography Bitcoin (1,044)

Python Cryptography (1,005)

C Cryptography (800)

Golang Cryptography (734)

Security Cryptography (677)

C Plus Plus Cryptography (677)

Cryptography Wallet (572)

Cryptography Cipher (557)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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