fcf
by adampetcher
Foundational Cryptography Framework for machine-checked proofs of cryptography.
AI summary
Cryptography framework
A framework for machine-checked proofs of cryptography in the computational model.
- stars
- 48
- forks
- 23
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
Cryptographic framework
A cryptographic framework providing unified APIs for secure data protection across multiple platforms
CTF platform
A testbed designed to highlight common flaws in cryptographic implementations through a configurable CTF-style challenge.
CTF platform
A CTF platform with customizable challenges and scoring
Machine learning framework
Enables secure machine learning computations in TensorFlow without requiring expertise in cryptography or distributed systems.
Data processor
A secure distributed dataflow framework for encrypted machine learning and data processing
CTF challenge
A cryptographic challenge with three stages, requiring participants to solve digital signature and decryption problems within a limited timeframe.
Cryptography validator
A framework for formal verification and validation of cryptographic proofs using Coq
Federated Learning Framework
This project presents a framework for robust federated learning against backdoor attacks.
FL framework
A unified framework for improving privacy and reducing communication overhead in distributed machine learning models.
Encrypted machine learning framework
A framework for training and prediction on encrypted data using secure multi-party computation and homomorphic encryption in TensorFlow.
Secure ML framework
A framework for applying secure computing techniques to machine learning models without modifying the underlying frameworks.
trailofbits/ctf1.3K
CTF Guide
A comprehensive guide to Capture The Flag competitions, focusing on vulnerability discovery, exploit creation, and operational tradecraft.
Cryptographic classifier
A framework for classifying cryptographic primitives using dynamic binary instrumentation and deep learning
Cryptography toolkit
A modern C++ cryptography suite providing a secure and architecturally clean implementation of various cryptographic schemes.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions fcf.
