Verifying a Chipcard-Based Biometric Identification Protocol in VSE.

Lassaad Cheikhrouhou, Georg Rock, Werner Stephan, Matthias Schwan, Gunter Lassmann

Browse the full SAFECOMP paper archive.