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