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.
|404||December 7, 14:00, Maison du Nombre, Room 1.020||Andrzej Mizera ( University of Luxembourg)||Autonomous Trustworthy Monitoring and Diagnosis of CubeSat Health (AtMonSat)||Abstract|
|403||September 19, 10:30, Maison du Nombre, Room 1.010||Iwo Błądek ( Poznan University of Technology)||Genetic Programming for Program Synthesis Problems with Logical Constraints||Abstract|
|402||July 19, 10:30, Maison du Nombre, Room 1.010||Robert Kuennemann (CISPA-Helmholtz-Center for Information security, Saarbrücken)||SAPIC+: protocol verifiers of the world, unite!||Abstract|
|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|