AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS

Search results

• 2007

  A Formal Theory of Key Conjuring

  Cortier, V., Delaune, S. & Steel, G., 2007, Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE. Institute of Electrical and Electronics Engineers, p. 79-96 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File

  • Attackers 100%
  • Key Management 100%
  • Random Value 100%

• Automatic Analysis of the Security of XOR-Based Key Management Schemes

  Cortier, V., Keighren, G. & Steel, G., 2007, Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings. Grumberg, O. & Huth, M. (eds.). Springer, p. 538-552 15 p. (Lecture Notes in Computer Science; vol. 4424).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automatic Analysis 100%
  • Key Management Scheme 100%
  • Security protocols 100%
  • Formal Verification 50%
  • Key Management 50%

• 2006

  On the Decidability of a Class of XOR-based Key-management APIs

  Cortier, V. & Steel, G., 2006, FCS-ARSPA 2006 Proceedings. p. 293-307 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Key Management 100%
  • Decision Procedure 50%
  • Security protocols 50%