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.


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