Reading Group
At the reading group, members and guests of our group present various scientific papers and results. Students and guests are welcome to listen to these talks. The individual presentations are usually self-contained. For questions or comments please contact Raphael Reischuk.Bachelor/Master/Diploma Seminar
This seminar gives Bachelor, Master and Diploma students in our group the opportunity to present their work. Participation in the seminar is mandatory for our Bachelor, Master, and Diploma students. The seminar usually takes place at irregular intervals. The Bachelor/Master/Diploma Seminars are specially labelled in the timetable below.Upcoming Talks (1:30 p.m. s.t.)
For time and location, and up-to-date information, see our calendar.
| Date | Speaker | Paper/Topic | Slides | |
|---|---|---|---|---|
| next → | Wed, 2012/05/23 | Oana Ciobotaru | Reading Group Talk |
Past Talks
| Date | Speaker | Paper/Topic | Slides | |
|---|---|---|---|---|
| Wed, 2012/05/16 | Florian Schöder | Bachelor/Master Seminar | ||
| Wed, 2012/05/09 | Aniket Kate | Practice Talk | ||
| Wed, 2012/04/25 | Sebastian Gerling | Reading Group Talk | ||
| Wed, 2012/04/25 | Philipp von Styp-Rekowsky | Reading Group Talk | ||
| Wed, 2012/03/07 | Aniket Kate | Computational Verifiable Secret Sharing Revisited (own work) | ||
| Wed, 2012/02/29 | Karsten Knuth | Final Talk | ||
| Wed, 2012/02/22 | Fabian Bendun | Reading Group Talk | ||
| Wed, 2012/02/01 | Erik Derr | Final Talk | ||
| Wed, 2012/02/01 | Goran Doychev | Final Talk | ||
| Wed, 2012/01/25 | Sebastian Meyer | Bachelor/Master Seminar | ||
| Wed, 2012/01/25 | Philip Peter | Bachelor/Master Seminar | ||
| Wed, 2012/01/18 | Malte Skoruppa | Bachelor/Master Seminar | ||
| Wed, 2012/01/11 | Tim Ruffing | Bachelor/Master Seminar | ||
| Wed, 2012/01/11 | Sven Obser | Bachelor/Master Seminar | ||
| Wed, 2011/10/26 | Livio Teris | Master Seminar | ||
| Wed, 2011/10/05 | Manuel Reinert | Master Seminar | ||
| Wed, 2011/10/05 | Jan Balzer | Final Talk | ||
| Wed, 2011/08/31 | Ines Lucia Ciolacu | Final Talk | ||
| Wed, 2011/08/31 | Holger Bornträger | Final Talk | ||
| Wed, 2011/08/24 | Joachim Lutz | Bachelor Seminar | ||
| Wed, 2011/08/24 | Karsten Knuth | Bachelor Seminar | ||
| Wed, 2011/07/13 | Amit Datta | Reading Group | ||
| Wed, 2011/06/15 | Erik Derr | Master Seminar |
||
| Wed, 2011/06/15 | Sven Obser | Master Seminar |
||
| Wed, 2011/06/15 | Jan Balzer | Bachelor Seminar |
||
| Wed, 2011/05/18 | Sebastian Meiser | Reading Group Smart Metering and Differential Privacy (ongoing work) |
||
| Wed, 2011/05/18 | Stefan Lorenz | Master Seminar Anonymous Webs of Trust |
||
| Wed, 2011/04/27 | Oana Ciobotaru | Reading Group (exceptionally: 12:30 a.m.) Towards Bridging Strong Universal Implementation and Universal Composability |
||
| Wed, 2011/04/20 | Alex Busenius | Master Seminar Mechanized Formalization of a Transformation from an Extensible Spi Calculus to Java |
||
| Wed, 2011/04/06 | Goran Doychev | Master Seminar Analysis and Mitigation of Information Leaks in Encrypted Web Browsing Traffic |
||
| Wed, 2011/04/06 | Jan Balzer | Bachelor Seminar Towards a formal semantics for G2C |
||
| Wed, 2011/03/16 | Kim Pecina | Reading Group A Security API for Distributed Social Networks |
||
| Wed, 2011/03/16 | Sebastian Gerling | Reading Group Security in Mobile Systems |
||
| Wed, 2011/03/16 | Aniket Kate | Reading Group Distributed Onion Routing |
||
| Tue, 2010/12/14 | Sebastian Meiser | Master Seminar Computational Soundness of Passively Secure Encryption |
||
| Thu, 2010/11/25 | Ines Ciolacu | Master Seminar: Universally Composable Relativistic Commitments |
||
| Tue, 2010/11/09 | Holger Bornträger | Master Seminar: Automatic Verification of Equivalences of Cryptographic Games |
||
| Thu, 2010/09/30 | Johannes Gehrke | (unusual time: 1pm) tba | ||
| Wed, 2010/09/29 | Robert Künnemann | Master Seminar: tba | ||
| Tue, 2010/09/28 | Aniket Kate | Constant-Size Commitments to Polynomials and Their Applications joint work with Gregory M. Zaverucha and Ian Goldberg |
||
| Tue, 2010/09/21 | Thorsten Tarrach | Master Seminar: Automatically Verifying "M" Modelling Language Constraints (Thesis Defence) |
||
| Tue, 2010/09/21 | Alex Busenius | Master Seminar: A Certified Code Generator for Security Protocols (Introductory Talk) |
||
| Fri, 2010/09/03 | Aniket Kate | Distributed Private-Key Generators for Identity-Based Cryptography joint work with Ian Goldberg |
||
| Tue, 2010/07/06 | Boris Köpf | Approximation and Randomization for Quantitative Information-flow Analysis joint work with Andrey Rybalchenko |
||
| Tue, 2010/06/22 | Matthias Berg | Non-uniform Distributions in Quantitative Information Flow joint work with Michael Backes and Boris Köpf |
||
| Tue, 2010/06/08 | Robert Künnemann | Master Seminar: Game-theoretic Modeling of Coercion-resistance | ||
| Tue, 2010/05/25 | Kim Pecina | Ring Signatures | ||
| Tue, 2010/05/11 | Dominique Unruh | Quantum Proofs of Knowledge | ||
| Wed, 2010/03/17 | Sebastian Meiser | Master Seminar Computational Soundness with IND-CPA |
||
| Wed, 2010/03/03 | Fabienne Eigner | Ralf Küsters and Tomasz Truderung An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols |
||
| Wed, 2010/02/24 | Thorsten Tarrach | Master Seminar (17:00 to 17:30) Automatically Verifying "M" Modelling Language Constraints |
||
| Wed, 2010/01/27 | Esfandiar Mohammadi | Temporal Logic | ||
| Wed, 2010/01/13 | Sebastian Gerling | The Internet remembers - Privacy in times of Web 2.0 | ||
| Wed, 2009/12/16 | Cătălin Hriţcu | Gavin M. Bierman, Andrew D. Gordon, Cătălin Hriţcu, and David Langworthy Semantic Subtyping with an SMT Solver (own work) |
||
| Wed, 2009/12/02 | Goran Doychev Dominik Feld Rajiv Lund |
Bachelor Seminar (15:30) Speaker Recognition in Encrypted Voice Streams Anonymity in Online Polls Formal Analysis of Mastermind |
||
| Tue, 2009/10/20 | Esfandiar Mohammadi | Secure Multiparty Computation | ||
| Tue, 2009/10/13 | Jonathan Driedger Malte Skoruppa |
Bachelor Seminar Verification of Game-Based Proofs |
||
| Tue, 2009/10/06 | Markus Dürmuth | Deniable Encryption | ||
| Tue, 2009/09/15 | Raphael Reischuk | Towards a Declarative Language for Secure Networking | ||
| Tue, 2009/06/23 | Fabienne Eigner | Master Seminar Type-based Verification of Electronic Voting Systems |
||
| Tue, 2009/05/26 | Anton Krohmer | Bachelor/Master Seminar File Sharing with Rational Users |
||
| Tue, 2009/04/21 | Cătălin Hriţcu | Michael Backes, Martin P. Grochulla, Cătălin Hriţcu, and Matteo Maffei Achieving Security Despite Compromise Using Zero-knowledge (own work), CSF 2009 |
||
| Tue, 2009/04/07 | Esfandiar Mohammadi | Computational Soundness for Symbolic Zero-Knowledge Proofs under Relaxed Assumptions (own work) | ||
| Tue, 2009/03/31 | Matthias Berg | Divesh Aggarwal, Ueli Maurer, Eurocrypt 2009 Breaking RSA Generically is Equivalent to Factoring |
||
| Tue, 2009/03/24 | Dominique Unruh | Jan Camenisch, Nishanth Chandran, Victor Shoup, Eurocrypt 2009 A public key encryption scheme secure against key dependent chosen plaintext and adaptive chosen ciphertext attacks |
||
| Tue, 2009/03/17 | Boris Köpf | Michael Backes, Boris Köpf, Andrey Rybalchenko Automatic Discovery and Quantification of Information Leaks (own work) |
||
| Tue, 2009/03/03 | Kim Pecina | Dan Boneh, Antoine Joux and Phong Nguyen, Asicarypt 2000 Why Textbook ElGamal and RSA Encyption Are Insecure |
||
| Tue, 2009/02/24 | Oana Ciobotaru | Differential Privacy (based on works by Cynthia Dwork, Arvind Narayanan, Vitaly Shmatikov, Frank McSherry, Kobbi Nissim, Adam Smith) | ||
| Tue, 2009/02/17 | Markus Dürmuth | Don Coppersmith Finding Small Solutions to Small Degree Polynomials |
||
| Wed, 2009/02/11 | Christian Schunck Sebastian Gerling |
Bachelor/Master Seminar Christian Schunck: Computing Bounds for Side-Channel Leakage Sebastian Gerling: Accoustic Side-Channel Attacks on Printers |
||
| Tue, 2008/10/14 | Markus Dürmuth | Itai Dinur and Adi Shamir Cube Attacks on Tweakable Black Box Polynomials |
||
| Tue, 2008/10/07 | Dominique Unruh | Jörn Müller-Quade and Dominique Unruh Composable Incoercibility (own work) |
||
| Tue, 2008/09/30 | Oana Ciobotaru | S. Dov Gordon and Jonathan Katz, SCN 2006 Rational Secret Sharing, Revisited |
||
| Tue, 2008/09/16 | several | Crypto 2008 Reading Group | ||
| Tue, 2008/09/09 | Robert Künnemann Sebastian Gerling |
Bachelor/Master Seminar Robert Künnemann: On Obfuscation of Malicious Programs Sebastian Gerling: Acoustic side-channel attacks on printers |
||
| Tue, 2008/07/29 | N/A | PowerPoint Karaoke | ||
| Tue, 2008/07/22 | Boris Köpf | Michael Backes and Boris Köpf A Formal Evaluation of Message-Blinding as a Countermeasure against Timing Attacks (own work) |
||
| Tue, 2008/07/15 | several | CSF 2008 Reading Group | ||
| Tue, 2008/07/08 | Cătălin Hriţcu | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis; CSF 2008 Refinement Types for Secure Implementations |
||
| Tue, 2008/07/01 | Alex Busenius Thorsten Tarrach |
Bachelor/Master Seminar Alex Busenius: Extending Spi2Java with Nested Types Thorsten Tarrach: Spi2F# Code Generator |
PDF, PDF | |
| Tue, 2008/06/17 | Martin Grochulla Esfandiar Mohammadi |
Bachelor/Master Seminar Martin Grochulla: Security Despite System Compromise Esfandiar Mohammadi: Computational Soundness of Symbolic Zero Knowledge Proofs |
PDF, PDF | |
| Tue, 2008/06/10 | Matteo Maffei | Michael Backes, Cătălin Hriţcu, and Matteo Maffei; FCS-ARSPA-WITS'08 Type-checking Zero-knowledge (own work) |
||
| Tue, 2008/05/20 | Matthias Berg | Iftach Haitner and Thomas Holenstein On the (Im)Possibility of Key Dependent Encryption |
||
| Tue, 2008/05/13 | Markus Dürmuth | David Brumley, Pongsin Poosankam, Dawn Song, Jiang Zheng, IEEE SSP 2008 Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications |
||
| Tue, 2008/05/06 | Oana Ciobotaru | Tal Moran, Gil Segev, Eurocrypt 2008 UC Computation for Asymmetric Parties Using Tamper-Proof Hardware |
||
| Tue, 2008/04/29 | Dominique Unruh | Ran Canetti, Rosario Gennaro, FOCS 1996 Incoercible Multiparty Computation |
||
| Tue, 2008/04/22 | Cătălin Hriţcu | Cédric Fournet, Andrew D. Gordon and Sergio Maffeis; CSF 2007 A Type Discipline for Authorization in Distributed Systems |
||
| Tue, 2008/04/01 | N/A | PowerPoint Karaoke | ||
| Tue, 2008/03/04 | Boris Köpf | Side-Channel Attacks - A Medley | ||
| Tue, 2008/02/26 | Matteo Maffei | Michael R. Clarkson, Stephen Chong, and Andrew C. Myers Civitas, a Secure Voting System |
||
| Tue, 2008/02/19 | Markus Dürmuth | Dan Gutfreund, Ronen Shaltiel, Amnon Ta-Shma, Computational Complexity 2005 If NP languages are hard on the worst-case then it is easy to find their hard instances |
||
| Tue, 2008/02/05 | Matthias Berg | The Calculus of Inductive Constructions | ||
| Tue, 2008/01/15 | Dominique Unruh | C. Jones, G. D. Plotkin, LICS '89 A Probabilistic Powerdomain of Evaluations |
Handout (PDF) | |
| Tue, 2008/01/08 | Cătălin Hriţcu | Cătălin Hriţcu, Jan Schwinghammer, FOOL 2008 A Step-indexed Semantics of Imperative Objects (own work) |
||
| Tue, 2007/12/18 | Holger Bornträger | Bachelor/Master/Diploma Seminar MD5 collisions on multimedia files |
||
| Tue, 2007/12/11 | N/A | PowerPoint Karaoke | ||
| Tue, 2007/12/04 | Matthias Berg | Martin Schläffer, Master's thesis Cryptanalysis of MD4 |
||
| Tue, 2007/11/27 | Matteo Maffei | Aslan Asgorov, Andrei Sabelfeld, IEEE SSP 2007 Gradual |
||
| Tue, 2007/11/20 | Markus Dürmuth | Agrawal, Kayal, and Saxena, Annals of Mathematics PRIMES is in P |
||
| Tue, 2007/11/13 | Cătălin Hriţcu | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse, CSFW 2006 Verified Interoperable Implementations of Security Protocols |
||
| Tue, 2007/10/23 | Dominique Unruh | Rafael Pass, Muthuramakrishnan Venkitasubramaniam, STOC 2007 An efficient parallel repetition theorem for Arthur-Merlin games |
||
| Tue, 2007/10/16 | N/A | PowerPoint Karaoke | ||
| Tue, 2007/10/02 | Matthias Berg | Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson, STOC 1988, Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions |
||
| Tue, 2007/09/18 | Matteo Maffei | Electronic Voting Protocols in the Applied Pi-Calculus | ||
| Tue, 2007/07/24 | Dominique Unruh | Bruno Blanchet, An Efficient Cryptographic Protocol Verifier Based on Prolog Rules Martín Abadi, Bruno Blanchet, Analyzing Security Protocols with Secrecy Types and Logic Programs |
||
| Tue, 2007/07/17 | Oana Ciobotaru | Bachelor/Master/Diploma Seminar Efficient long-term universally composable secure protocols |
||
| Tue, 2007/05/15 | Markus Müller Sebastian Gerling |
Bachelor/Master/Diploma Seminar Markus Müller: Fuzzy Identity-Based Encryption Sebastian Gerling: LAN Crypt Gateway and Secure Browser Access |
||
| Tue, 2007/04/03 | Kim Pecina Stefan Lorenz |
Bachelor/Master/Diploma Seminar Kim Pecina, Stefan Lorenz: Mechanized Verification of Security Protocols Using Causality-based Abstractions |
||
| Tue, 2007/03/06 | Martin Grochulla Fabienne Eigner |
Bachelor/Master/Diploma Seminar Fabienne Eigner: Extending the Cryptographic Library Martin Grochulla: Trust Model for eVoting |
||
| Wed, 2007/02/14 | Dominique Unruh | Adi Shamir, J ACM, 1992 "IP=PSPACE" |
||
| Wed, 2007/02/07 | Matthias Berg Süntje Böttcher |
Bachelor/Master/Diploma Seminar Matthias Berg: On Key-dependent Encryption Süntje Böttcher: On the Security of Multiparty Computations |
||
| Tue, 2007/01/23 | Markus Dürmuth | Dan Boneh, Ramarathnam Venkatesan "Breaking RSA may be easier than factoring" |
||
| Thu, 2007/01/18 | Matteo Maffei | Martín Abadi and Cédric Fournet "Mobile values, new names, and secure communication" (Applied π-calculus) |
||
| Wed, 2007/01/10 | Dominique Unruh | Minh-Huyen Nguyen, Shien Jin Ong, and Salil Vadhan, FOCS'06 "Statistical Zero-Knowledge Arguments for NP from Any One-Way Function" |
||
| Tue, 2006/10/24 | Dominique Unruh | Recent research on the security of protocols with logarithmic communication complexity. Additional material: paper, interactive example. |
||
| Mon, 2006/09/04 | Matteo Maffei | Current work on safely abstracting away multiplicities | ||
| Mon, 2006/08/28 | Markus Dürmuth | Phil Rogaway "Formalizing Human Ignorance: Collision-Resistant Hashing without the Keys" |
||
| Tue, 2006/08/22 | Dominique Unruh | D. Micciancio and O. Regev "Worst-case to Average-case Reductions based on Gaussian Measures" |