Next SSL - Loria Security Seminar will take place on Tuesday, 21st January at 1pm in room A008. Nils Ole Tippenhauer, researcher at CISPA, will talk about reversing and testing cyber-physical systems. Title: Reversing and Testing Cyber-Physical Systems Abstract: Cyber-Physical Systems such as Industrial Control Systems, Drones, and Autonomous Vehicles rely on digital control of a physical process. Adversarial manipulation of such systems can result in physical damage to the system, or the environment. The underlying embedded systems run (often…
Voir les détails »The next D2 seminar, entitled “The Squirrel Prover”, by Charlie Jacomme, will be held on February 4 at 1:00 pm in room A008. Abstract The Squirrel Prover is a proof assistant dedicated to cryptographic protocols. It relies on a higher-order logic following the computationally complete symbolic attacker approach. It thus provides guarantees in the computational model. In this talk, we will introduce the main ingredients underlying its logic and proof system, trying to outline why it does yield computational guarantees…
Voir les détails »The next D5 Seminar, "Interactive molecular visualization and simulation: examples with UDock and VTX" will be held by Pr. Matthieu Montes, from Le CNAM, laboratory of Génomique, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday, February 28 at 10:30 a.m. in room A008. Abstract: UDock (available at https://udock.fr and on gitlab): Originally developed to gamify protein-protein docking, UDock is now an interactive multibody molecular docking software designed to explore protein interactions for research purposes but also for teaching…
Voir les détails »The next D2 seminar, entitled “A scalable framework for backward bounded static symbolic execution”, by Nicolas Bellec, will be held on March 4 at 1:00 pm in room A008. Abstract Many programs (e.g. malware) hide their behavior by using obfuscations such as opaque predicates. Automatic methods have been developed to detect such obfuscations. In this presentation, we will focus on static symbolic backward bounded execution, a method that enumerates backward bounded paths from a potential opaque predicate and uses symbolic…
Voir les détails »Dans le cadre du projet cible du PEPR Cybersécurité - DefMal porté par l'Université de Lorraine, le séminaire "La recherche en cybersécurité doit-elle s’intéresser davantage à la criminologie (et vice-versa) ?", sera présenté par Benoît Dupont, professeur titulaire à l’École de criminologie de l’Université de Montréal et titulaire de la Chaire de recherche du Canada en Cyber-résilience ainsi que de la Chaire de recherche en Prévention de la cybercriminalité. L'événement aura lieu au Loria le mercredi 5 mars à 10h,…
Voir les détails »
