Formal analysis of PIN block attacks

Graham Steel

School of Informatics

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. (Principal Investigator) & Fleuriot, J. (Co-Investigator (External))
EPSRC
1/10/04 → 30/09/07
Project: Research