Filter by content type

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

Remove all filters

632 results

    • Seminar

    • SoSysec

    Cybersecurity of industrial systems. Open problems and some ideas.

    • February 07, 2020

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

    Speaker : Stéphane Mocanu (Inria Rhône-Alpes)

    Research in cybersecurity of SCADA systems is a relatively recent field developed mainly into the last decade. Despite the manufacturers progress in hardening the security of device SCADA systems are still prone to severe vulnerabilities and specialized countermeasures are still incipient. This talk aims to present the open problems seen from the boundary between computer science and control[…]

    • Seminar

    • SoSysec

    Towards Security-Oriented Program analysis

    • October 29, 2021

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

    Speaker : Sébastien Bardin (CEA LIST)

    While digital security concerns increase, we face both a urging demand for more and more code-level security analysis and a shortage of security experts. Hence the need for techniques and tools able to automate part of these code-level security analyses. As source-level program analysis and formal methods for safety-critical applications have made tremendous progress in the past decades, it is[…]

    • Seminar

    • SoSysec

    Thwarting covert adversaries in FHE pipelines

    • December 09, 2022

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

    Speaker : Sylvain Chatel (EPFL)

    Fully Homomorphic Encryption (FHE) enables computations to be executed directly on encrypted data without decryption, thus it is becoming an auspicious solution to protect the confidentiality of sensitive data without impeding its usability for the purpose of analytics. While many practical systems rely on FHE to achieve strong privacy guarantees, their constructions only consider an honest-but[…]

    • Seminar

    • SoSysec

    L’empoisonnement de données semble-t-il un risque réaliste ?

    • September 23, 2022

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

    Speaker : Adrien Chan-Hon-Tong (ONERA)

    Les attaques adversaires ont rencontré un fort écho dans la communauté de vision par ordinateur. Pour autant, via ce type d’attaque, un hacker ne peut modifier le comportement de l’algorithme ciblé que localement. Inversement, l’empoisonnement de données est en mesure de modifier globalement le comportement de l’algorithme visé, et, il n’est pas forcément détectable par un opérateur notamment si[…]

    • Seminar

    • SoSysec

    A formal study of injection-based attacks and some tools it will enable

    • February 19, 2021

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

    Speaker : Pierre-François Gimenez (Inria Rennes, CentraleSupélec)

    Many systems work by receiving instructions and processing them: e.g., a browser receives and then displays an HTML page and executes Javascript scripts, a database receives a query and then applies it to its data, an embedded system controlled through a protocol receives and then processes a message. When such instructions depend on user input, one generally constructs them with concatenation or[…]

    • Seminar

    • SoSysec

    Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate

    • February 25, 2022

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

    Speaker : Grégoire Menguy (CEA LIST)

    Code obfuscation aims at protecting Intellectual Property and other secrets embedded into software from being retrieved. Recent works leverage advances in artificial intelligence (AI) with the hope of getting blackbox deobfuscators completely immune to standard (whitebox) protection mechanisms. While promising, this new field of AI-based, and more specifically search-based blackbox deobfuscation,[…]
Page top