Filter by content type

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

Remove all filters

742 results

    • Seminar

    • SoSysec

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

    • February 25, 2022

    • Inria Center of the University of Rennes - - See the page of each talk for the 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,[…]

    • Seminar

    • SoSysec

    QUIC: que faut-il attendre de ce nouveau protocole de communication sécurisé ?

    • May 29, 2020

    • Inria Center of the University of Rennes - - See the page of each talk for the room.

    Speaker : Olivier Levillain (Telecom Sudparis)

    Depuis plusieurs années, les grands acteurs du web travaillent à l’amélioration des communications entre leurs utilisateurs et leurs services. Ces améliorations peuvent porter sur la vitesse des connexions ou sur la sécurité des échanges. QUIC fait partie des efforts en cours. Il s’agit d’un protocole en cours de standardisation à l’IETF, qu’on peut résumer à un protocole sur UDP fournissant les[…]

    • Seminar

    • SoSysec

    Formal security proofs in a post-quantum world

    • November 19, 2021

    • Inria Center of the University of Rennes - - See the page of each talk for the room.

    Speaker : Charlie Jacomme (CISPA)

    In the recent years, formals methods for security and their associated tools have been used successfully both to find novel and complex attacks on many protocols [A] and to help in their standardization process. They however face a new challenge with the increasing probability of quantum computers coming into the real-world: we need to be able to provide guarantees against quantum attackers.In[…]

    • Seminar

    • SemSecuElec

    Schindler-Itoh/Wiemers revisited: recovering full RSA/ECC private key from noisy side-channel observations

    • September 28, 2018

    • NinjaLab - Salle Métivier

    Speaker : Victor Lomné et Thomas Roche

    Side-channel attacks on public-key cryptography (i.e. modular exponentiation for RSA or scalar multiplication for ECC) often boils down to distinguishing the 0s from the 1s in the binary representation of the secret exponent (resp. secret scalar).When state-of-the-art countermeasures are implemented, this detection must be errorless: thanks to masking techniques, erroneous masked exponents (resp.[…]

    • Seminar

    • SemSecuElec

    Rank metric cryptography and its implementations

    • October 08, 2021

    • XLIM – Université de Limoges - Salle Pétri/Turing

    Speaker : Nicolas Aragon

    In 2017, the NIST (National Institute for Standards and Technology) started astandardization process in order to select post-quantum encryption and digital signature schemes. Among the proposed solutions, two rank-metric based encryption schemes were selected for the second round of the standardization process: ROLLOand RQC.This raised questions about both the performance and the security of the[…]

    • 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