Search

684 results

• • Seminar

  • SoSysec

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

  • February 25, 2022

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

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

• • Seminar

  • SoSysec

  Squirrel: a new approach to computer-assisted proofs of protocols in the computational model.

  • April 16, 2021

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

  Speaker : David Baelde (ENS Cachan)

  Formal methods have brought several approaches for proving that security protocols ensure the expected security and privacy properties. Most of the resulting tools analyze protocols in symbolic models, aka. Dolev-Yao-style models. Security in the symbolic model does not imply security in the cryptographer’s standard model, the computational model, where attackers are arbitrary (PPTIME) Turing[…]

• • Seminar

  • SoSysec

  Intriguing Properties of Adversarial ML Attacks in the Problem Space

  • June 19, 2020

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

  Speaker : Fabio Pierazzi (King’s College London)

  Recent research efforts on adversarial ML have investigated problem-space attacks, focusing on the generation of real evasive objects in domains where, unlike images, there is no clear inverse mapping to the feature space (e.g., software). However, the design, comparison, and real-world implications of problem-space attacks remain underexplored. In this talk, I will present two major contributions[…]

• • Seminar

  • SoSysec

  Thwarting covert adversaries in FHE pipelines

  • December 09, 2022

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

  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

  Built on sand: on the security of Collaborative Machine Learning

  • March 25, 2022

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

  Speaker : Dario Pasquini (EPFL)

  This talk is about inaccurate assumptions, unrealistic trust models, and flawed methodologies affecting current collaborative machine learning techniques. In the presentation, we cover different security issues concerning both emerging approaches and well-established solutions in privacy-preserving collaborative machine learning. We start by discussing the inherent insecurity of Split Learning and[…]

• • Seminar

  • SoSysec

  Les cyber opérations, entre opportunités stratégiques et contraintes opérationnelles

  • October 01, 2021

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

  Speaker : Stéphane Taillat (Académie Militaire de Saint Cyr-Coëtquidan)

  Le recours aux opérations numériques et au cyberespace s’est généralisé dans la gestion des crises et des conflits internationaux. Pour autant, aucune des cyber opérations étatiques ou prêtées à des États n’ont débouché sur des conflits armés ou sur une escalade significative des tensions. A ce titre, cette conférence cherche à s’interroger sur l’utilité stratégique des opérations numériques et du[…]