SRM seminar
The SRM is a joint research meeting of the SaToSS, APSIA and IRiSC groups supported by LACS and SnT. It features presentations on ongoing research in security, privacy, trust and connected areas.
Presentations
| No. | Date | Presenter | Title | Abstracts |
|---|---|---|---|---|
| 424 | April 3, 10:30, Maison du Nombre, Room 1.020 | Elaine Li (New York University) | Multiparty Session Type Projection and Subtyping with Automata | Abstract |
| 423 | January 24, 10:45, Maison du Nombre, Room 1.010 | Ralf Sasse (ETH Zurich) | The EMV Standard: Break, Fix, Verify & Card Brand Mixup Attacks | Abstract |
| 422 | January 24, 9:55, Maison du Nombre, Room 1.010 | Sasa Radomirovic (University of Surrey) | Managing the integrity and availability of our online accounts | Abstract |
| 421 | January 24, 9:05, Maison du Nombre, Room 1.010 | Rolando Trujillo Rasua (Rovira i Virgili University) | Automated generation of attack trees with optimal shape and labelling | Abstract |