fournet

Pinned Repositories

CCF
Confidential Consortium Framework
Language:C++0 0 00
ccf-app-template
Template repository for C++ applications for CCF
Language:C++0 0 00
draft-birkholz-scitt-architecture
A specification including, problem statement, use cases, requirements, and architectural constituents for a Transparency Service in support of Supply Chain Integrity, Transparency, and Trust
Language:Makefile0 0 00
draft-ietf-scitt-architecture
An Architecture for Trustworthy Digital Supply Chain Transparency Services
Language:Makefile0 0 00
merklecpp
A C++ library for creation and manipulation of Merkle trees
Language:C++0 0 00
mitls-f7
Temporary public repository for miTLS
Language:Coq0 1 00
tls13-spec
TLS 1.3 Specification
Language:Python0 1 00
FStar
A Proof-oriented Programming Language
Language:F*2.8k 80 2k235
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*1.6k 78 229170
CCF
Confidential Consortium Framework
Language:C++787 41 1.6k219

fournet's Repositories

fournet/CCF
Confidential Consortium Framework
Language:C++0 0 00
fournet/ccf-app-template
Template repository for C++ applications for CCF
Language:C++0 0 00
fournet/draft-birkholz-scitt-architecture
A specification including, problem statement, use cases, requirements, and architectural constituents for a Transparency Service in support of Supply Chain Integrity, Transparency, and Trust
Language:Makefile0 0 00
fournet/draft-ietf-scitt-architecture
An Architecture for Trustworthy Digital Supply Chain Transparency Services
Language:Makefile0 0 00
fournet/merklecpp
A C++ library for creation and manipulation of Merkle trees
Language:C++0 0 00
fournet/mitls-f7
Temporary public repository for miTLS
Language:Coq0 1 00
fournet/tls13-spec
TLS 1.3 Specification
Language:Python0 1 00