SRM seminar
Information on the SRM seminar is kept here. The SRM is a joint research seminar of the SaToSS and APSIA groups and takes place Tuesdays 10:30-11:30 in E212 on the Kirchberg Campus unless otherwise indicated. It features presentations on ongoing research in security, privacy, and trust. The next upcoming presentation is highlighted in boldface. A google calendar of the SRM and related seminars is available.
Presentations
| Date | Presenter | Title | |
|---|---|---|---|
| July 17 | Xihui Chen | tba | |
| July 10 | Patrick Schweitzer | tba | |
| July 3 | Jason Crampton (Royal Holloway, University of London) | tba | |
| June 12 | Yang Liu (National University of Singapore) | tba | |
| Monday, June 11, 11am, F213, joint SRM and SnT seminar | Zhengchang Xing (National University of Singapore) | tba | |
| June 5 | Harm van Beek (Netherlands Forensic Institute) | Digital Forensics, what's that about? | Abstract |
| Wednesday, May 30, 10:30am, F213, joint SRM and SnT seminar | Dominique Cansell | Formal and Incremental Construction of the Distributed Reference Counting Algorithm | Abstract |
| May 22 | Jan Willemson (Cybernetica, Estonia) | Internet voting in Estonia - risk analysis and vote verification | Abstract |
| May 15 | Denise Demirel (TU Darmstadt) | A publicly-verifiable mix-net with everlasting privacy towards observers | Abstract |
| May 8 | Matthijs Melissen | Virtual Multi-Protocol Attacks in Non-Repudiation Protocols | Abstract |
| Wednesday, April 25, 4pm, A02, joint SRM and Computational Biology talk | Olivier Roux (École Centrale de Nantes) | Hybrid Modelling of biological systems for the accurate analysis of their timing features [slides] | Abstract |
| April 24 | Mohammad Hassan Habibi (ISSL Lab, EE Department, Sharif University of Technology) | RFID Systems: Introduction, Authentication, and Privacy Issues | Abstract |
| April 17 | Alexandre Bartel | About ByteCode Static Analysis and Manipulation for Android Security | Abstract |
| Thursday, April 12, 10:30am, E212 | Stephan Neumann (TU Darmstadt) | Civitas and the Real World: Problems and Solutions from a Practical Point of View | Abstract |
| April 3 | Kostas Chatzikokolakis (LIX, École Polytechnique & INRIA Saclay) | Differential Privacy vs Quantitative Information Flow [slides] | Abstract |
| Thursday, March 29, 10:30am, F213, joint SRM and SnT seminar | Andrea Huszti (University of Debrecen, Hungary) | Secure Electronic Applications | Abstract |
| March 27 | André van Cleeff (University of Twente) | Physical and Digital Security: Comparison, Combinations & Properties | Abstract |
| March 13 | Jean Lancrenon | Password-Authenticated Key Exchange | Abstract |
| Monday, March 5, 4pm, joint SRM and ICR seminar | Wojciech Jamroga | Castelfranchi's View on Trust | Abstract |
| February 28 | Pim Vullers (Radboud University Nijmegen) | Attribute-based Credentials on Smart Cards [slides] | Abstract |
| February 23 | Jérôme Dossogne (Université Libre de Bruxelles) | Linking coercion-freeness and verifiability in Internet Voting schemes | Abstract |
| February 9, joint SRM and SnT seminar | Rosario Giustolisi (University of Catania) | WATA4.0: Enhancing WATA anonymous marking system with usability and individual verifiability | Abstract |
| January 31 | MohammadReza Mousavi (Eindhoven University of Technology) | In Processes, We Believe! -- On Marrying Process Algebra and Epistemic Logic | Abstract |
| January 17 | Daniel Marnach, Bianca Miniberger | MSc midterm presentations | |
| January 10 | Evangelos Rekleitis (University of the Aegean) | Beyond Single RFID Authentication Protocols: Anonymous and Forward Secure Grouping Proof Protocols | Abstract |