CRoCS
ROCA: Infineon RSA key vulnerability
Python 492 94
Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.
Java 136 48
Research initiative to make TLS certificate validation usable.
Java 22 3
Open Source Development Course
25 5
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
Jupyter Notebook 25 12