Je recherche

709 résultats

• • Séminaire

  • SoSysec

  A Formal Analysis of 5G Authentication

  • 03 juin 2019

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

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

• • Séminaire

  • SoSysec

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

  • 30 novembre 2018

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

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

• • Séminaire

  • SoSysec

  Where ML Security Is Broken and How to Fix It

  • 03 février 2023

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

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

• • Séminaire

  • SoSysec

  Security and privacy in personal data management systems

  • 28 janvier 2022

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

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

• • Séminaire

  • SoSysec

  Contemporary Issues in Digital Forensics

  • 31 janvier 2020

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

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

• • Séminaire

  • SoSysec

  Programmable Network Security – Challenges and Opportunities

  • 02 décembre 2022

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

  Orateur : Sandra Scott-Hayward (Queen’s University Belfast)

  Society’s dependence on communication networks for all aspects of day-to-day living; business, education, entertainment etc. makes “the network” a very attractive target for malicious attack, which cyber criminals are only too eager to exploit, attempting to limit or block access to essential services (e.g., healthcare, banking, critical infrastructure etc.), disrupting our daily lives and causing[…]