SRM seminar
The SRM is a joint research meeting of the SaToSS, APSIA and IRiSC groups supported by LACS and SnT. The SRM talks usually take place on Tuesdays in MNO-E03-25-110 on the Belval Campus. The SRM features presentations on ongoing research in security, privacy, and trust.
If you are interested in joining the seminar's mailing list, or in giving a talk at the seminar, contact Masoud Tabatabaei, Matteo Acclavio or Itzel Vazquez Sandoval. The next upcoming presentation is highlighted in boldface. A Google calendar of the SRM and related seminars is available.
Presentations
| No. | Date | Presenter | Title | Abstracts |
|---|---|---|---|---|
| 420 | July 21, 10:00, Maison du Nombre, Room 1.020 | Clément Aubert (Augusta University) | A gentle introduction to reversible process algebras | Abstract |
| 419 | July 19, 10:30, Maison du Nombre, Room 1.040 | Boris Skoric (TU Eindhoven) | Can't Touch This: unconditional tamper evidence from short keys | Abstract |
| 418 | June 22, 10:00, Maison du Nombre, Room 1.030 | Kristian Gjøsteen (Norwegian Institute of Technology) | Shifting basis: post-quantum cryptographic voting | |
| 417 | June 15, 10:00, Maison du Nombre, Room 1.030 | Sebastian Mödersheim (Technical University of Denmark) | Logic for Privacy in Security Protocols | Abstract |
| 416 | June 7, 10:30, Maison du Nombre, Room 1.020 | Simon Parkin (TU Delft) | Refining the Blunt Instruments of Cyber-Risk Management | Abstract |
| 415 | June 2, 11:00, Maison du Nombre, Room 1.050 | Chenxiang Zhang (University of Pisa) | Elements of Robust Machine Learning | Abstract |
| 414 | April 24, 10:30, Maison du Nombre, Room 1.040 | Lenore Zuck (University of Illinois, Chicago) | RFCs vs Specifications | Abstract |
| 413 | April 19, 10:30, Maison du Nombre, Room 1.040 | Rosario Giustolisi (IT University of Copenhagen) | Last-minute coercion resistance in deniable revoting | Abstract |
| 412 | April 13, 10:30, Maison du Nombre, Room 1.010 | Ilkan Esiyok (CISPA Helmholtz Center for Information Security) | Accountable Javascript Code Delivery | Abstract |
| 411 | March 27, 10:30, Maison du Nombre, Room 1.050 | Felix Stutz (MPI-SWS Saarbrücken) | On Implementability of Asynchronous Communication Protocols | Abstract |
| 410 | March 23, 10:30, Maison du Nombre, Room 1.030 | Enka Blanchard (CNRS, Université Polytechinque Hauts-de-France) | Smörgåsbord of interdisciplinary security | Abstract |
| 409 | March 13, 15:00, Maison du Nombre, Room 1.030 | Tobias Käfer (Karlsruher Institute of Technology) | Knowledge Graphs, Behaviour, and Agents on the Web | Abstract |
| 408 | February 22, 14:00, Maison du Nombre, Room 1.030 | Christoph Braun (Karlsruher Institute of Technology) | Authentication Protocols based on Verifiable Credentials on the Web | Abstract |
| 407 | January 16, 14:00, Maison du Nombre, Room 1.010 | Naipeng Dong (The University of Queensland) | Formal and Quantitative Analysis of Blockchain | Abstract |