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 2nd, 10:30 David Purser (Max Plank Institute of Software Systems) TBA Abstract
395 October 14th, 10:30 Dilian Gurov (Stockholm University) An Abstract Contract Theory for Programs with Procedures Abstract
394 September 28th, 14:00 (hybrid) Lucca Hirschi (Inria-Loria) Fixing the Achilles Heel of E-Voting: The Bulletin Board 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