Matthias Berg Contact Saarland University - Computer Science Department Building E1 1, Room 2.10 PO Box 151150 66041 Saarbrücken, Germany Phone: +49-681-302 57376 Fax: +49-681-302 57365 email: berg (at) cs (dot) uni-saarland (dot) de

Publications

• Verified security of merkle-damgård

  Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, and Santiago Zanella Béguelin.

  In Proceedings of the 25th IEEE Computer Security Foundations Symposium - CSF 2012, June 2012. Also in Grande Region Security and Reliability Day - GRSRD 2012.

  [ bib | pdf ]

• Non-uniform distributions in quantitative information-flow

  Michael Backes, Matthias Berg, and Boris Köpf

  In Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2011), pages 367-375, March 2011.

  [ bib | pdf ]

• A formal language for cryptographic pseudocode

  Michael Backes, Matthias Berg, and Dominique Unruh

  In Logic for Programming, Artificial Intelligence, and Reasoning - LPAR, pages 353-376, November 2008. Also in Workshop on Formal and Computational Cryptography - FCC 2008.

  [ bib | http ]

• On key-dependent encryption

  Matthias Berg

  Master's thesis, Saarland University, Saarbrücken, May 2007.

  [ bib | pdf ]

• Polymorphic lambda calculus with dynamic types

  Matthias Berg

  Bachelor's thesis, Saarland University, Saarbrücken, September 2004.

  [ bib | pdf ]

Teaching

• Sommer Term 2011
  • The Magic of Cryptography
• Sommer Term 2009
  • Current Research in Information Security
• Winter Term 2007/2008
  • Advanced Cryptography
  • Selected Topics of Information Security and Cryptography
• Sommer Term 2007
  • Cryptography
• Sommer Term 2004
  • Introduction to Computational Logic
• Sommer Term 2003
  • Programming 2
• Winter Term 2002/2003
  • Programming 1