veorq / fca
free crypto audit
☆31Updated 7 years ago
Alternatives and similar repositories for fca:
Users that are interested in fca are comparing it to the libraries listed below
- A browsable archive of all Underhanded Crypto Contest entries.☆34Updated 5 years ago
- ☆170Updated 3 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 6 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Tools for timing attacks☆18Updated 9 years ago
- A Go implementation of the BERserk attack against Mozilla NSS ASN.1 parsing of PKCS#1 RSA signatures with e = 3. Complete of a certificat…☆94Updated 9 years ago
- Simple application for playing with elliptic curves☆42Updated 2 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆142Updated 10 years ago
- Tools for attacking cryptographic implementations.☆21Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆117Updated 7 years ago
- A test framework for testing SSL/TLS client certificate validation.☆95Updated 3 years ago
- Does your library check TLS certificates properly?☆78Updated last year
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- misc stuff☆19Updated 7 years ago
- ☆198Updated 8 years ago
- Go Library (and program) to perform pairwise gcd on batches of RSA moduli☆10Updated 9 years ago
- Mathilda is a C++ class for distributing web requests to worker processes☆29Updated 8 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- Kudelski Security's 2017 crypto challenge☆20Updated 7 years ago
- TLS - what can go wrong?☆100Updated 6 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Freely available cryptographic iconography☆66Updated 8 years ago