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 |
|---|---|---|---|---|
| 396 | November 23rd, 10:30 (hybrid) | Cyprien Delpech de Saint Guilhem (The Katholieke Universiteit Leuven) | Recent advances in MPC-inspired zero-knowledge proofs for non-algebraic statements. | Abstract |
| 395 | November 2nd, 10:30 (hybrid) | David Purser (Max Plank Institute of Software Systems) | Verification of Differential Privacy in Markov chains | Abstract |
| 394 | October 14th, 10:30 | Dilian Gurov (Stockholm University) | An Abstract Contract Theory for Programs with Procedures | Abstract |
| 393 | August 3rd, 14:00 (hybrid) | Lutz Strassburger (Inria-Saclay) | On Combinatorial Proof Identity for First-Order Logic | Abstract |
| 392 | July 23rd, 11:00 (virtual) | Nicolas Troquard (Free University of Bozen-Bolzano) | Logics of bringing-it-about and some of their applications | Abstract |
| 391 | July 20th, 10:00 (virtual) | Robert Luh (University of Vienna) | PenQuest: An adversarial cyber security game for education and threat assessment | Abstract |
| 390 | June 21st, 11:00 (hybrid) | Bill Roscoe (University of Oxford.) | Generating an unbiassable random oracle within a blockchain using delay encryption. | Abstract |