Filter by content type

Select one or more filters. This choice will reload the page to display the filtered results.

Remove all filters

633 results

    • Seminar

    • Cryptography

    Password-Authenticated Key Exchange (PAKE) from Isogenies

    • December 08, 2023

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Sabrina Kunzweiler - Université Bordeaux

    The passwords that we use in our everyday life are often chosen to be easily memorable which makes them vulnerable to attacks. This problem is addressed by password-authenticated key exchange (PAKE). The general idea is to enable two parties who share the same (potentially weak) password to establish a strong session key. Most PAKE protocols used today are based on Diffie-Hellman key exchange in[…]

    • Working group

    Modélisation statistique et sécurité des générateurs d'aléa pour la cryptographie

    • April 08, 2023 (11:00 - 12:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Speaker : David Lubicz - DGA, IRMAR

    Dans cet exposé on essaie d'expliquer ce que l'on entend pas méthodes statistiques et on donne des exemples concrets d'application dans la cybersécurité.

    • Cryptography

    • Working group

    Analyse statistique des extrêmes pour la modélisation d'évènements rares ou atypiques

    • April 08, 2023 (10:00 - 11:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Speaker : Gilles Stupfler - ENSAI

    • Seminar

    • SoSysec

    When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise

    • February 05, 2018

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : Catalin Hritcu (Inria Paris)

    We propose a new formal criterion for secure compilation, providing strong end-to-end security guarantees for components written in unsafe, low-level languages with C-style undefined behavior. Our criterion is the first to model dynamic compromise in a system of mutually distrustful components running with least privilege. Each component is protected from all the others until it becomes[…]

    • Seminar

    • SoSysec

    A Formal Analysis of 5G Authentication

    • June 03, 2019

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : Sasa Radomirovic (University of Dundee)

    Mobile communication networks connect much of the world’s population. The security of users’ calls, text messages, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose.In this talk, I will report on our formalization of the 5G standard’s AKA[…]

    • Seminar

    • SoSysec

    Machine Learning for Computer Security Detection Systems: Practical Feedback and Solutions

    • November 30, 2018

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : Anaël Beaugnon (ANSSI)

    Machine learning based detection models can strengthen detection, but there remain some significant barriers to the widespread deployment of such techniques in operational detection systems. In this presentation, we identify the main challenges to overcome and we provide both methodological guidance and practical solutions to address them. The solutions we present are completely generic to be[…]
Page top