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
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 6 years ago
- Tools for timing attacks☆18Updated 9 years ago
- ☆170Updated 3 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆142Updated 10 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- A browsable archive of all Underhanded Crypto Contest entries.☆34Updated 5 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Tools for attacking cryptographic implementations.☆21Updated 8 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Simple application for playing with elliptic curves☆44Updated 2 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆117Updated 7 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
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 6 years ago
- Does your library check TLS certificates properly?☆78Updated last year
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- the cyber crypto cryptocoin☆35Updated 7 years ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- ☆17Updated 10 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 3 years ago
- Kudelski Security's 2017 crypto challenge☆20Updated 7 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 8 years ago
- ☆15Updated 8 years ago
- A test framework for testing SSL/TLS client certificate validation.☆95Updated 3 years ago
- ☆198Updated 9 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆33Updated 9 years ago
- Various cryptographic backdoors and tools to detect them☆21Updated 9 years ago
- Slides and very basic examples☆111Updated 7 years ago
- iSEC Partners' research publications☆76Updated 8 years ago
- Simulates Attacks of AB16 on Argon2i☆11Updated 8 years ago