Updated 10 months ago
https://github.com/crocs-muni/ai-sectools-project
The catalogue of security tools and methods developed during AI-Sectools project
Updated 10 months ago
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.
Updated 11 months ago
crypto-ext
crypto-ext is a set of functionality providing easy and intuitive abstractions to encrypt, decrypt, sign and verify your data