Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.

Jan Jrjens

Browse the full ACSAC paper archive.