Verifying a Chipcard-Based Biometric Identification Protocol in VSE. - Lassaad Cheikhrouhou; Georg Rock; Werner Stephan 001; Matthias Schwan; Gunter Lassmann (SAFECOMP, 2006)

Vertrauenswürdige Chipkartenbasierte Biometrische Authentifikation. - Gunter Laßmann; Matthias Schwan (Sicherheit, 2006)

An extended model of security policy for multi-applicative smart cards. - Matthias Schwan (AsiaCCS, 2007)

Specification and verification of security policies for smart cards. - Matthias Schwan (2008)