Jan Jürjens. Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers. In 21st Annual Computer Security Applications Conference (ACSAC 2005), 5-9 December 2005, Tucson, AZ, USA. pages 138-149, IEEE Computer Society, 2005. [doi]
Abstract is missing.