Formal analysis of PIN block attacks

Search results

• 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

  • Key Management 100%
  • Security protocols 71%
  • Attackers 61%
  • Key Management Scheme 57%
  • Decision Procedure 57%