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