Computer Science Strikes Back Against Fraud

Search results

• Finished

  AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

  Bundy, A. & Fleuriot, J.

  EPSRC

  1/10/04 → 30/09/07

  Project: Research

  • Application programming interfaces (API) 100%
  • Attack 44%
  • Computability and decidability 41%
  • Hardware security 39%
  • Formal Analysis 36%