Organisation : Université / Administration centrale et Rectorat
-
Events
SRM Research Seminar: How to model (e-voting) protocols in Tamarin
En savoir plusThe Tamarin prover is a tool for the symbolic modeling and analysis of security protocols. It takes as input a protocol model, a specification of the adversary, and a specification of the protocol’s desired properties. Tamarin can then be used to automatically check if the protocol fulfills the properties, given that arbitrarily many instances of…
-
Events
Research Seminar: Quantum security with optical PUFs
En savoir plusThe combination of optical PUFs and quantum optics makes it possible to build protocols whose security relies on physical assumptions, e.g. the assumption that it is difficult to losslessly emulate a PUF’s behaviour. QSA (Quantum Secure Authentication) is an example of such a protocol. Unfortunately, QSA requires a two-way quantum channel.
-
Events
PhD Defense: Spectrum Monitoring Algorithms for Wireless and Satellite Communications
En savoir plusPhD Supervisor: CHATZINOTAS Symeon
-
Events
PhD Defense: Colonization, succession and evolution of the human gastrointestinal microbiome in infants at high risk of metabolic disease in adulthood
En savoir plusPhD Supervisor: WILMES Paul
-
Events
PhD Defense: Molecular profiling of microglia in steady state and under inflammatory conditions
En savoir plusPhD Supervisor: MICHELUCCI Alessandro
-
Events
PhD Defense: Development of a computational resource for personalized dietary recommendation
En savoir plusPhD Supervisor: THIELE Ines
-
Events
PhD Defense: Recent developments around Malliavin-Stein approach
En savoir plusPhD Supervisor: NOURDIN Ivan
-
Events
PhD Defense: Large-scale and Flexible Nanogenerator based on ZnO conical nanostructures by Nano-Imprint Lithography and Atomic Layer Deposition
En savoir plusPhD Supervisor: KREISEL Jens
-
Events
PhD Defense: Tuning self-assembly in liquid crystal shells: from interfacial- to polymer-stabilization
En savoir plusPhD Supervisor: LAGERWALL Jan
-
Events
PhD Defense: Connectivity percolation and thin film growth containing rods
En savoir plusPhD Supervisor: SCHILLING Tanja