Research Papers

• A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols [ PS | PDF | BibTex ]
  Veronique Cortier, Ralf Kusters, and Bogdan Warinschi
  To appear in European Symposium Research Computer Security -- ESORICS'07

• Synthesizing Secure Protocols [ PS | PDF | BibTex ]
  Veronique Cortier, Bogdan Warinschi, and Eugen Zalinescu
  To appear in European Symposium Research Computer Security -- ESORICS'07

• A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness [ PS | PDF | BibTex ]
  Emmanuel Bresson, Yassine Lakhnech, Laurent Mazare, and Bogdan Warinschi
  To appear in Advances in Cryptology -- CRYPTO'07

• A Closer Look at PKI: Security and Efficiency [ PS | PDF | BibTex ]
  Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, and Bogdan Warinschi
  Public Key Cryptography -- PKC'07

• Computationally Sound Symbolic Secrecy in the Presence of Hash Functions [ PS | PDF | BibTex ]
  [Veronique Cortier, Steve Kremer, Ralf Kuesters and Bogdan Warinschi]
  Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science -- FSTTCS'06

• Explicit Randomness is not Necessary when Modeling Probabilistic Encryption [ PS | PDF | BibTex ]
  Veronique Cortier, Heinrich Hoerdegen and Bogdan Warinschi
  Workshop on Information and Computer Security -- ICS'06

• Computationally Sound Compositional Logic for Key Exchange Protocols [ PS | PDF | BibTex ]
  Anupam Datta, Ante Derek, John Mitchell and Bogdan Warinschi
  Proceedings of 19th IEEE Computer Security Foundations Workshop -- CSFW'06
• Guessing Attacks and the Computational Soundness of Static Equivalence [ PS | PDF | BibTex ]
  Martin Abadi, Mathieu Baudet and Bogdan Warinschi
  Foundations of Software Science and Computational Structures -- FOSSACS'06
• A Computational Analysis of the Needham Schroder Lowe Protocol
  Bogdan Warinschi
  Journal of Computer Security; 13(3), pp: 565--591, 2005

• Password-based Encryption Analyzed [ PS | PDF | BibTex ]
  Martin Abadi, Bogdan Warinschi
  Internation Colloqium on Automata, Languages and Programming -- ICALP'05;
  
• Security Analysis of Cryptographically Controlled Access to XML Documents [ PS | PDF | BibTex ]
  Martin Abadi, Bogdan Warinschi
  Symposium on Principles of Database Systems -- PODS'05; (Best newcommer paper award).
  

• Computationally Sound, Automated Proofs for Security Protocols [ PS | PDF | BibTex ]
  Veronique Cortier, Bogdan Warinschi
  14th European Symposium on Programming Languages -- ESOP'05; to appear
• Efficient Blind Signatures without Random Oracles [ PS | PDF | BibTex ]
  Jan Camenisch, Maciej Koprowski, Bogdan Warinschi
  In Fourth Conference on Security in Communication Networks -- SCN'04, Amalfi, Itali, September 8-10, 2004
• On the Minimal Assumptions for Group Signatures [ PS | PDF | BibTex ]
  Michel Abdalla, Bogdan Warinschi
  Internation Conference on Information and Communications Security -- ICICS'04, Malaga, Spain, October 27-29, 2004
  LNCS 3269, pp. 1--13
• Completeness Theorems for the Abadi-Rogaway Logic of Encrypted Expressions [ PS | PDF | BibTex ]
  Daniele Micciancio, Bogdan Warinschi
  Journal of Computer Security, 12(1), pp. 99-129, 2004 (Preliminary version in WITS 2002)
• Soundness of Formal Encryption in the Presence of Active Adversaries [ PS | PDF | BibTex ]
  Daniele Micciancio, Bogdan Warinschi
  Theory of Cryptography Conference -- TCC'04. Cambridge, Massachusetts, February 19-21, 2004. LNCS 2951, Springer, pp. 133-151.
• A Computational Analysis of the Needham-Schroeder protocol [ PS | PDF | BibTex ]
  Bogdan Warinschi
  Computer Science Foundation Workshop (CFSW 2003), Pacific Grove, California, June 30-July 2
• Foundations for Group Signatures: Simplified Requirements and a Construction Based on General Assumptions [ PS | PDF | BibTex ]
  Mihir Bellare, Daniele Micciancio, and Bogdan Warinschi ]
  EUROCRYPT 2003, Warsaw, Poland. LNCS 2656, Springer, pp. 614-629.
  
• Completeness Theorems for the Abadi-Rogaway Logic of Encrypted Expressions [ PS | PDF | BibTex ]
  Daniele Micciancio, Bogdan Warinschi
  Workshop on Issues in the Theory of Security (WITS'02), Portland, Oregon, January 14-15, 2002

• A Linear Space Algorithm for Computing the Hermite Normal Form [ PS | PDF | BibTex ]
  Daniele Micciancio, Bogdan Warinschi
  International Symposium on Symbolic Algebraic Computation (ISSAC'01), University of Western Ontario, July 22 -25, 2001

• An Overview of the Tatami Project [ PS | PDF ]
  Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi
  In Cafe: An Industrial-Strength Algebraic Formal Method , edited by Kokichi Futatsugi, Tetsuo Tamai and Ataru Nakagawa, Elsevier, 2000.
• Timed Frame Models for Discrete Time Process Algebra [ PS | PDF ]
  Jan Bergstra and Kees Middelburg ]
  UNU/IIST Technical Report no. 100.
• Secure Proxy Signing for Delegation of Rights [ PS | PDF ]
  Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi
  ePrint ACR ePrint Archive 2003/096