Change the repository type filter
All
Repositories list
122 repositories
- ECTesterPublic
- coinjoin-analysisPublic
- indie-servicePublic
- meesign-clientPublic
- sec-certsPublicTool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
- meesign-serverPublic
- javacard-curated-listPublic
- indie-oidc-providerPublic
- DumplingsPublic
- opal-toolsetPublic
- presstoPublicPRESSTO - Automated analysis platform for devices requiring physical interaction
- ai-sectools-projectPublic
- blocksciPublic
- wallet-scan_resultsPublic
- meesign-helperPublic
- ts-spect-compilerPublic
- coinjoin-mappingsPublic
- indie-jcPublic
- scrutinyPublicAn 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.
- opal-test-suitePublic
- wallet-scanPublicAutomated analysis platform for cryptocurrency hardware wallets
- crocs_webPublic
- meesign-cryptoPublic
- indie-clientPublic
- JCAlgTestPublic
- coinjoin-emulatorPublic
- formula-for-disasterPublicArtifacts for the "A formula for disaster: a unified approach to elliptic curve special-point-based attacks" paper at ASIACRYPT 2021