Security of cryptographic protocols

• Thesis title in English: Security of cryptographic protocols
• Academic year of topic announcement: 2012/2013
• Thesis type: dissertation
• Thesis language: angličtina
• Department: Department of Algebra (32-KA)
• Supervisor: RNDr. Michal Hojsík, Ph.D.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 29.10.2012
• Date of assignment: 29.10.2012
• Confirmed by Study dept. on: 05.12.2012
• Advisors: RNDr. Bohuslav Rudolf

Guidelines

Kryptografické protokoly jsou zkoumány dvěma základními způsoby – symbolicky a výpočetně. Důkazy v symbolickém modelu jsou snadněji realizovatelné, jejich vytváření a ověřování lze rozličně automatizovat. Nemají však takovou váhu jako důkazy ve výpočetním modelu. Dlouhou dobu se obě oblasti vyvíjely odděleně, k jejich propojení došlo v článku autorů Abadi a Rogaway [2], kde je ukázána výpočetní interpretace symbolických důkazů. Vztah obou modelů je od té doby předmětem výzkumu.

Práce by na jednu stranu měla směřovat k prohlubování výsledků o vztahu symbolických a výpočetních modelů, na druhou stranu by mohla výsledky aplikovat na určité konkrétní protokoly nebo třídy protokolů.

References

[1] V. Cortier, S. Kremer, B. Warinschi: A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reasoning 46(3-4): 225-259 (2011)
[2] M. Abadi, P. Rogaway: Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). J. Cryptology 20(3): 395 (2007)
[3] D. Micciancio, B. Warinschi: Soundness of Formal Encryption in the Presence of Active Adversaries. TCC 2004: 133-151 (2004)
[4] A. Datta, Security Analysis of Network Protocols: Compositional Reasoning and Complexity-theoretic Foundations, PhD Thesis, Computer Science Department, Stanford University, (2005)