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
350 December 12, 10:30, MSA 3.370 Jan Tobias Muehlberg (KU Leuven) Authentic Execution for Automotive Control Networks Abstract
349 December 6, 10:30, MSA 3.200 Ugo Chirico Smart Cards and related technologies Abstract
348 November 30, 10:30 Sevdenur Baloglu (Middle East Technical University) Design of S-boxes by Concatenation Method Abstract
347 October 25, 10:30, MSA 3.160 Daniel Thomas (University of Cambridge) Measuring Android vulnerability, and UDP DDoS attacks Abstract
346 October 19, 10:30, MSA 4.300 Josep Domingo-Ferrer (Universitat Rovira i Virgili) Connections between privacy models Abstract
345 October 10, 10:30, MSA 3.180 David Arroyo (Universidad Autonoma de Madrid) A Comprehensive Privacy-Respecting Mechanism for Global E-Commerce Abstract
344 October 9, 14:00, MSA 2.380 Frank Mousset (Tel Aviv University) The minrank of random graphs Abstract
343 October 4, 14:00 Cheng-Te Li (National Cheng Kung University) Organizing Influential Campaigns on Social Networks Abstract
342 September 27, 14:00 Sabrine Mallek (Ecole des Mines de Nancy) Social Network Analysis: Link Prediction Under Uncertain Reasoning Abstract
341 September 20, 10:30 Yang Zhang (CISPA Helmholtz Center for Information Security) ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models Abstract
340 September 7, 10:30, MNO-E02-0225110 Semen Yurkov From Affine Varieties to Cox Rings: Understanding Algebraic Geometry Abstract
339 August 9, 10:30 Achim D. Brucker (University of Sheffield) Analyzing Web Browsers and Browser Extensions: An Example in Combining Applied Research and Formal Verification Abstract
338 July 27, 10:30 Marius Lombard-Platet Finding duplicates in an unbounded stream of data Abstract
337 July 24, 15:30 Alexis Boudin (ENS Paris-Saclay) A decomposition-based approach for the full control of Boolean networks Abstract
336 July 10, 14:30, MSA 2.230 Mirko Koscina (ENS/Almerys) Blockchain Technology: from Permissionless to Permissioned architecture and the security behind the consensus algorithms Abstract
335 July 3, 10:30, MSA 4.530 Jeroen van de Graaf (Universidade Federal de Minas Gerais) A publicly verifiable protocol for random number generation Abstract
334 June 29, 10:30 Yury Zhauniarovich (Qatar Computing Research Institute) Sorting the Garbage: Filtering Out DRDoS Amplification Traffic in ISP Networks Abstract
333 June 19, 15:00, MSA 2.160 Geoffroy Couteau (Karlsruhe) Efficient Designated-Verifier Non-Interactive Zero-Knowledge Proofs of Knowledge Abstract
332 May 30, 10:30 Mina Sheikhalishahi (CNR, Pisa) Privacy-preserving collaborative data analysis Abstract
331 May 29, 15:00, MSA 2.230 David Naccache (ENS) Compressed Simulated Annealing: New Algorithms for Optimal Surveillance Camera Placement in Urban Environments Abstract
330 April 19 Cheng-Te Li (National Cheng Kung University) Tackling the Achilles Heel of Online Streaming Services: Towards Better Music Recommendation Systems by User Identification Abstract
329 April 17, 11:00, MSA 2.230 Razvan Rosie (ENS) Key-Robustness for Cryptographic Primitives Abstract
328 April 11, 11:00, MSA 3.220 Richard Clayton (Cambridge) Booters, Beagles, Blogs, Blackmail and other Badness Abstract
327 March 28, 10:30, MSA 2.400 Iraklis Symeonidis (KU Leuven) Analysis and design of privacy-enhancing systems: the case of Facebook and car sharing Abstract
326 March 27, 11:00, MSA 2.160 David Mestel (Oxford) Quantifying information flow in interactive systems Abstract
325 March 27, 10:30, MSA 2.160 Karola Marky (TU Darmstadt) Investigation of Human Factors in End-to-End Verifiable E-Voting Schemes Abstract
324 March 15, 11:15, MSA 3.220 Boris Skoric (TU Eindhoven) Quantum security with optical PUFs. Abstract
323 March 13, 10:30, MSA 3.100 Lara Schmid (ETHZ) How to model (e-voting) protocols in Tamarin Abstract
322 February 7, 15:00, CK Salle des Conseils Tiziano Bianchi (Politecnico di Torino) User Authentication via PRNU-Based Physical Unclonable Functions Abstract