Antonín Dufka's repositories
DiSSECT
Distinguisher of Standard & Simulated Elliptic Curves via Traits.
cryptoki-bridge
Implementation of the Cryptoki library defined by the PKCS#11 standard that utilizes Meesign for asymmetric cryptography.
elastic-elgamal
ElGamal encryption and related zero-knowledge proofs
frost
FROST (Flexible Round-Optimised Schnorr Threshold signatures)
InfinitEID
Modern, Web-eID compatible JavaCard applet for secure authentication on the web
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.
JCFROST
JavaCard implementation of FROST threshold signature scheme relying only on public JavaCard API.
libelectronic-id-with-InfinitEID
C++ library for performing cryptographic operations with electronic ID smart cards
Myst
Secure Multiparty Key Generation, Signature and Decryption javacard applet
state_enforcer
Visualize program states transitions and generates enforcing methods (from provided yaml model)
tonic
A native gRPC client & server implementation with async/await support.
tpm2-algtest
A tool for testing and measuring TPM 2.0 crypto functionality.
vsmartcard
umbrella project for emulation of smart card readers or smart cards
web-eid-app
The Web eID application performs cryptographic digital signing and authentication operations with electronic ID smart cards for the Web eID browser extension