Lassaad Cheikhrouhou Georg Rock Werner Stephan Matthias Schwan Gunter Lassmann Verifying a Chipcard-Based Biometric Identification Protocol in VSE. 42-56 2006 conf/safecomp/2006 SAFECOMP http://dx.doi.org/10.1007/11875567_4 db/conf/safecomp/safecomp2006.html#CheikhrouhouRSSL06