Change the repository type filter
All
Repositories list
105 repositories
sec-certs
PublicTool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).javacard-curated-list
Publicopal-test-suite
Publicopal-toolset
Publicmeesign-client
PublicOptimizedJCAlgs
Publicmeesign-server
Publicct-tools
PublicA repository of tools for verifying constant-timenessSED-Storage-Visualiser
Publicdcp-glv
Publicmeesign-crypto
Publiccoinjoin-emulator
PublicECTester
PublicDiSSECT
PublicDistinguisher of Standard & Simulated Elliptic Curves via Traits.tpmscan-artifact
Publicusable-cert-validation
PublicResearch initiative to make TLS certificate validation usable.booltest
Publicts-spect-compiler
PublicJCMint
Publicts-spect-fw
Publictpm2-algtest
Publictpmscan-dataset
Publicalgtest-pyprocess
Publicjavus
PublicJavaCard Vulnerability Scanner is a framework for testing the security of JavaCards. It does so by executing several POC attacks directly on the JavaCard. The potential for locking/bricking the JavaCard during the process is high, therefore it should be ran on spare JavaCards dedicated for testing and research.pretzel
PublicThreshold RSA signatures as published in the Practical Threshold Signatures publication by Victor Shoup https://link.springer.com/chapter/10.1007/3-540-45539-6_15