Dagstuhl Seminar Proceedings, Volume 8491,

• Ran Canetti, Shafi Goldwasser, Günter Müller, and Rainer Steinwandt 08491 Abstracts Collection – Theoretical Foundations of Practical Information Security 10.4230/DagSemProc.08491.1
• Ran Canetti, Shafi Goldwasser, Günter Müller, and Rainer Steinwandt 08491 Executive Summary – Theoretical Foundations of Practical Information Security 10.4230/DagSemProc.08491.2
• Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, and Olivier Pereira Modeling Computational Security in Long-Lived Systems 10.4230/DagSemProc.08491.3
• Chris Peikert Public-Key Cryptosystems from the Worst-Case Shortest Vector Problem 10.4230/DagSemProc.08491.4
• Juan Garay, Aggelos Kiayias, and Hong-Sheng Zhou Sound and Fine-grain Specification of Ideal Functionalities 10.4230/DagSemProc.08491.5