Etienne André,de l'Université Paris 13 fera un exposé le vendredi 3 mai à 14h00 en salle A008 intitulé "Monitoring real-time systems under uncertainty" Abstract : Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always […]
This talk presents a detailed and up-to-date security analysis of the voting software used in the last Brazilian elections by more than 140 million voters. It is mainly based on results obtained in a restricted hacking challenge...
Date: Tuesday, 28th May 2019 at 2pm Place: LORIA, room A008 Speaker: Angeliki Monnier (Université de Lorraine – CREM) Title: Understanding ICT uses as “habitus”? Abstract: This presentation will address the uses of information and communication technologies (ICT), particularly social media, as “habitus”, inspired by Pierre Bourdieu’s Field Theory. My thesis draws on an empirical […]
Algorithmique, calcul, image et géométrie Programme de la journée : 9h30 Jimmy Etienne, MFX : Curved slicing for additive manufacturing 9h50 Gabrielle De Micheli, Caramba : Recovering ECDSA cryptographic keys from partial information 10h10 Charles Duménil, Gamble : Expected size of the Delaunay triangulation of random points on a surface 10h30 Pause 11h Aude Le Gluher, Caramba : How much time does it take to factor an integer ? 11h20 George Krait, Gamble : Numerical Algorithm […]
Mobile communication networks connect much of the world’s population. The security of every user’s calls, SMSs, and mobile data, depends on the guarantees provided by the Authenticated Key Exchange protocols used.
