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
401 June 22, 10:30, Maison du Nombre, Room 0325110 Barbara Lewandowska (Konin University, Poland) Offense, Emotion and Biased Persuasion in the Media
400 June 20, 10:00, Maison du Nombre, Room 1.050 Emanuele D’Osualdo (MPI-SWS, Saarbrücken) Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions Abstract
399 May 10, 15:00, Maison du Savoir, Room 3.230 Christian Esposito (University of Salerno) Blockchain-based Authentication and Trust management for the IoT-based Smart cities Abstract
398 February 1st, 10:30 (virtual) Patrick Baillot (CNRS, Université de Lille) Type-based complexity analysis for a parallel process calculus Abstract
397 January 25th, 10:30 (virtual) Ieva Daukantas (IT University of Copenhagen) Towards AI Security: Formal Verification of Robust Mean Estimation. Abstract