Filter by content type

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

Remove all filters

716 results

    • Seminar

    • SoSysec

    When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise

    • February 05, 2018

    • Inria Center of the University of Rennes - - Room TBD

    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 - - Room TBD

    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 - - Room TBD

    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[…]

    • Seminar

    • SoSysec

    Where ML Security Is Broken and How to Fix It

    • February 03, 2023

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Maura Pintor (PRA Lab, University of Cagliari)

    To understand the sensitivity under attacks and to develop defense mechanisms, machine-learning model designers craft worst-case adversarial perturbations with gradient-descent optimization algorithms against the model under evaluation. However, many of the proposed defenses have been shown to provide a false sense of robustness due to failures of the attacks, rather than actual improvements in[…]

    • Seminar

    • SoSysec

    Security and privacy in personal data management systems

    • January 28, 2022

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Nicolas Anciaux (INRIA)

    Personal Data Management Systems (called PDMS) provide individuals with a hardware and/or software solution to manage their data under control. From a data management and security/privacy perspective, the issues involved are complex and differ significantly from the traditional database setting. The emergence of trusted execution environments (such as Intel SGX) could be a game changer. This[…]

    • Seminar

    • SoSysec

    Contemporary Issues in Digital Forensics

    • January 31, 2020

    • Inria Center of the University of Rennes - - Room TBD

    Speaker : Ben Martini (University of South Australia)

    The discipline of digital forensics, or as it was then known ‘forensic computing’, began with a focus on retrieving admissible evidence from computer systems (typically personal computers). However, with the increased pervasiveness of connected digital technologies in the last 20 years, a wide variety of new and complex sources of digital evidence have emerged. This has presented a range of[…]
Page top