https://github.com/crocs-muni/scrutiny
An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and produce detailed HTML reports. For now, SCRUTINY is capable of analyzing JavaCard, TPM, SED, and cryptolibs.
https://github.com/crocs-muni/javacard-curated-list
Curated list of open-source Java Card applets and related applications for cryptographic smartcards
https://github.com/crocs-muni/ai-sectools-project
The catalogue of security tools and methods developed during AI-Sectools project
jcalgtest
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.
jcmathlib
Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.