adampetcher/fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
CoqNOASSERTION
Stargazers
- 553224019
- aa755Miami, FL, USA
- AcculiviaCondeuluratoir
- alexw91@aws @awslabs
- anton-trunovTON Foundation
- axel-hMunich, DE
- azetlambda: resilient.systems
- bjartemOslo, Norway
- catalin-hritcuMax Planck Institute for Security and Privacy (MPI-SP)
- cbarcenas
- chr33s
- ejgallegoInria
- FredericJacobs
- hadasz
- iambrosie@spotify
- InnovativeInventor@Pi-Squared-Inc
- Jamie-Cui@antgroup
- jan-christiansenFlensburg University of Applied Scienes
- jgeldartSagesight
- jmitchellSeattle
- kai-qu
- kev-liao
- koraaRosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto
- KraksPurdue University
- kushtiErgo Platform
- kzoacnShanghai
- liamsi@celestiaorg
- morusleafBellevue
- mukeshtiwariSwansea
- namasikanamMax Planck Institute for Security & Privacy
- paraschetalGeorgia Tech
- ramonfmirLondon
- relrod@Ansible @ Red Hat, Inc.
- simongregersenNew York University
- vbgl
- vqhuy