Filter by content type

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

Remove all filters

684 results

    • 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

    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

    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

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

    • Seminar

    • SemSecuElec

    Laser-Based Attacks Against FPGA Bitstream Encryption

    • June 07, 2019

    • Technische Universität Berlin - Salles Petri/Turing

    Speaker : Heiko Lohrke

    Field programmable gate arrays (FPGAs) use encryption to protect the configuration data or “bitstream” containing the design to be run on the device. This encryption aims at protecting the intellectual property and other secrets contained in the bitstream and preventing e.g. cloning or tampering with an FPGA implementation.This talk will demonstrate how attackers can use failure analysis equipment[…]
Page top