Pinned Repositories
CafeOBJ-PACE
CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.
animamea
d-klein.github.io
image-hash
accompanying material for the paper: A comparative Study on Image Hashing for Document Authentication, BIOSIG 2015
larks
Linear Adaptive Regression Kernel with python/numpy
ots-proof
accompanying material for the paper: Key-Secrecy of PACE with OTS/CafeOBJ, FTSCS 2014, Revised Selected Papers, Springer CCIS
qpassport
simple reader for eletronic passports
jabcode
jabcode - color bar code
d-klein's Repositories
d-klein/qpassport
simple reader for eletronic passports
d-klein/image-hash
accompanying material for the paper: A comparative Study on Image Hashing for Document Authentication, BIOSIG 2015
d-klein/larks
Linear Adaptive Regression Kernel with python/numpy
d-klein/animamea
d-klein/d-klein.github.io
d-klein/ots-proof
accompanying material for the paper: Key-Secrecy of PACE with OTS/CafeOBJ, FTSCS 2014, Revised Selected Papers, Springer CCIS