AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

Research output

Research output per year 2006 2006 2007 2007

• 3 Conference contribution
• 2 Article
• 1 Working paper

Research output per year

Research output per year

Search results

• 2006

  Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

  Steel, G. & Bundy, A., Jan 2006, In: Journal of Automated Reasoning. 36, 1-2, p. 149-176

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

  Open Access

  File

  • Security protocols 100%
  • group key agreement 50%

• Formal analysis of PIN block attacks

  Steel, G., 2006, In: Theoretical Computer Science. 367, 1-2, p. 257-270 14 p.

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

  • Personal Identification Number 100%
  • Hardware Security Module 28%
  • Model Checking 14%
  • Attackers 14%
  • Cryptographic Operation 14%