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.
|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|