SRM seminar
The SRM is a joint research meeting of the SaToSS and APSIA groups supported by LACS and SnT. The SRM talks take place on Tuesdays at 10:30am in MNO-E03-25-110 on the Belval Campus unless otherwise indicated. 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 Peter Rønne or Jun Pang. The next upcoming presentation is highlighted in boldface. A Google calendar of the SRM and related seminars is available.
Presentations
| No. | Date | Presenter | Title | Abstracts |
|---|---|---|---|---|
| 377 | December 19th, 14:00 | Yang Zhang (CISPA Helmholtz Center for Information Security) | Language in Our Time: An Empirical Analysis of Hashtags | Abstract |
| 376 | December 9, 14:00, MNO 1.010 | Christian Majenz (QuSoft) | Can you sign a quantum state? | Abstract |
| 375 | October 30, 14:00, MNO 1.050 | Hüseyin Demirci (University of Minho) | The Next Generation Sequencing Era: Applications, Challenges and Threats | Abstract |
| 374 | October 24th, 10:30 | Matteo Acclavio (INRIA Saclay) | Combinatorial proofs for modal logic | Abstract |
| 373 | October 24th, 10:30 | Lutz Strassburger (INRIA Saclay) | Combinatorial proofs and their normalization | Abstract |
| 372 | August 30th, 10:30 | Cheng-Te Li (National Cheng Kung University) | Learning Feature Representation in Heterogeneous Information Networks | Abstract |
| 371 | August 9th, 10:30, MNO 0345100 | Yang Zhang (CISPA Helmholtz Center for Information Security) | Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning | Abstract |
| 370 | July 10th, 10:30, MNO 0345100 | Sergiu Bursuc (INRIA Nancy) | Secure evoting and fair exchange with minimal trust | Abstract |
| 369 | July 8, 14:00, MNO 1.020 | Jintai Ding (University of Cincinnati) | Post-quantum key exchange and recent progress | Abstract |
| 368 | June 25, 14:00 | Yury Zhauniarovich (Perfect Equanimity) | Characterizing Bitcoin Donations to Open Source Software on GitHub | Abstract |
| 367 | June 11, 10:30, MNO 1.040 | Markus Dürmuth (Ruhr University Bochum) | Passwords are dead - What's next? | Abstract |
| 366 | May 7, 10:30, MNO 1.050 | Chloe Martindale (Eindhoven University of Technology) | CSIDH: an efficient post-quantum commutative group action | Abstract |
| 365 | May 6, 14:00 | Wei Guo (Nanjing University) | Second-Child Birth Intentions of China's Floating Population: Influences from Socioeconomic Factors and Home Ownership | Abstract |
| 364 | April 26, 10:30, MNO 1.010 | Richard Clayton (University of Cambridge) | Booters: who runs them and how might we make them stop? | Abstract |
| 363 | April 24, 14:00 | Mathias Ramparison (Université Paris XIII) | Decision problems for parametric timed automata and application to attack-fault trees | Abstract |
| 362 | April 11, 10:00 | Tiansi Dong (Bonn University) | Imposing Category Trees Onto Word-Embeddings Using A Geometric Construction | Abstract |
| 361 | April 1, 10:30, MNO 1.030 | Isa Sertkaya (TUBITAK BILGEM) | Attacks and new proposals on e-checkbook schemes, and Vote privacy issue on Estonian i-Voting System | Abstract |
| 360 | March 28, 10:30, MSA 3.230 | Ehsan Ebrahimi (ENS Paris) | Post-Quantum Security in the Presence of Superposition Queries | Abstract |
| 359 | March 14, 10:30 | Vivek Nigam (Fortiss Gmbh) | Model-Based Safety and Security Engineering | Abstract |
| 358 | March 13, 14:00 | Hyunwoo Lee (Seoul National University) | maTLS: How to Make TLS middlebox-aware? | Abstract |
| 357 | February 21, 10:30 | Anton Feenstra (Vrije Universiteit Amsterdam) | Exhaustive simulation of epistatic patterns using Petri net models | Abstract |
| 356 | February 19, 10:30 | Mete Akgun (University of Tuebingen) | Privacy-Preserving Processing of Genomic Data | Abstract |
| 355 | February 7, 10:30, MNO 1.040 | Jiangshan Yu (Monash University) | RepuCoin: An extra resilient blockchain consensus system | Abstract |
| 354 | February 5, 10:30, MNO 1.040 | Damien Desfontaines (ETH) | Differential privacies: a taxonomy of semantic data privacy definitions | Abstract |
| 353 | January 22, 14:00, MSA 2.220 | Jintai Ding (University of Cincinnati) | Quantum-Proof Blockchain | Abstract |
| 352 | January 22, 10:30, MNO 1.020 | Dennis Jackson (University of Oxford) | Automated Analysis of Digital Signatures’ Unexpected Behaviours | Abstract |
| 351 | January 11, 11:30, MNO 1.020 | David Naccache (ENS) | Missing Species in the Digital Signatures Zoo? | Abstract |