jjanku

Brno, Czech Republic

Pinned Repositories

meesign-client
Language:Dart8 5 46
dart_pcsc
Language:Dart5 1 12
fsec
Language:eC00
jasmin-zk
We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge and zero-knowledge) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.
Language:eC00
JavaCardEmulator
Language:Kotlin0 2 01
MultiSchnorrApplet
Language:Jupyter Notebook0 2 00
MultiSchnorrReader
Language:Kotlin0 2 00
MultiSchnorrTPM
Language:Sage0 2 00
vw-passat
Language:Jupyter Notebook00

jjanku's Repositories

jjanku/dart_pcsc
Language:Dart5 1 12
jjanku/fsec
Language:eC00
jjanku/jasmin-zk
We implement the Schnorr proof system in assembler via the Jasmin toolchain, and prove the security (proof-of-knowledge and zero-knowledge) and the absence of leakage through timing side-channels of that implementation in EasyCrypt.
Language:eC00
jjanku/JavaCardEmulator
Language:Kotlin0 2 01
jjanku/JCMathLib
Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.
Language:Java0 0 00
jjanku/linux-vd_agent
spice agent for linux
Language:C0 1 00
jjanku/meesign-server
Language:Rust0 0 00
jjanku/MultiSchnorrApplet
Language:Jupyter Notebook0 2 00
jjanku/MultiSchnorrReader
Language:Kotlin0 2 00
jjanku/MultiSchnorrTPM
Language:Sage0 2 00
jjanku/vw-passat
Language:Jupyter Notebook00
jjanku/meesign-crypto
jjanku/mpc-sigs
Language:Rust2 0
jjanku/mpc_demo
Language:Dart1
jjanku/ndkports
Language:Kotlin1 0
jjanku/phodav
Language:C
jjanku/podofo
git svn clone of http://podofo.sourceforge.net/
Language:C++
jjanku/spice-gtk
spice client library using glib and gtk, please send patches to spice-devel ML
Language:C1 0
jjanku/spice-protocol
spice protocol definition header
Language:C
jjanku/win32-vd_agent
spice agent for win32
Language:C++