fcf
Cryptography framework
A framework for machine-checked proofs of cryptography in the computational model.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
48 stars
7 watching
23 forks
Language: Coq
last commit: 7 months ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ssprove/ssprove | A foundational framework for formalizing cryptographic proofs in Coq. | 56 |
 cossacklabs/themis | A cryptographic framework providing unified APIs for secure data protection across multiple platforms | 1,875 |
 spiderlabs/cryptomg | A configurable test environment to demonstrate common flaws in cryptographic implementations. | 191 |
 andreafioraldi/motherfucking-ctf | A CTF platform with customizable challenges and scoring | 48 |
 tf-encrypted/tf-encrypted | Enables secure machine learning computations in TensorFlow without requiring expertise in cryptography or distributed systems. | 1,210 |
| tf-encrypted/moose | A secure distributed dataflow framework for encrypted machine learning and data processing | 59 |
 kudelskisecurity/cryptochallenge18 | A cryptographic challenge with three stages, requiring participants to solve digital signature and decryption problems within a limited timeframe. | 36 |
 easycrypt/certicrypt | A framework for formal verification and validation of cryptographic proofs using Coq | 33 |
 ai-secure/crfl | This project presents a framework for robust federated learning against backdoor attacks. | 71 |
 ganyuwang/vfl-czofo | A unified framework for improving privacy and reducing communication overhead in distributed machine learning models. | 11 |
 mortendahl/tf-encrypted | A framework for training and prediction on encrypted data using secure multi-party computation and homomorphic encryption in TensorFlow. | 3 |
 facebookresearch/crypten | A framework for applying secure computing techniques to machine learning models without modifying the underlying frameworks. | 1,539 |
 trailofbits/ctf | A comprehensive guide to Capture The Flag competitions, focusing on vulnerability discovery, exploit creation, and operational tradecraft. | 1,318 |
 abertaymachinelearninggroup/cryptoknight | A framework for classifying cryptographic primitives using dynamic binary instrumentation and deep learning | 38 |
 nilfoundation/crypto3 | A modern C++ cryptography suite providing a secure and architecturally clean implementation of various cryptographic schemes. | 79 |