Filter by content type

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

Remove all filters

733 results

    • Seminar

    • Cryptography

    Ind-cpa-d insecurity of approximate and exact homomorphic encryption schemes

    • March 29, 2024

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Speaker : Elias Suvanto - Cryptolab

    Fully Homomorphic Encryption enables the evaluation of arbitrary circuits over encrypted data while maintaining the confidentiality of the underlying messages. It greatly enhances functionality but also comes with security challenges for some applications like Threshold FHE. While the standard IND-CPA security is sufficient against honest but curious adversaries, a stronger security notion called[…]

    • Working group

    Modélisation statistique et sécurité des générateurs d'aléa pour la cryptographie

    • April 08, 2023 (11:00 - 12:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Speaker : David Lubicz - DGA, IRMAR

    Dans cet exposé on essaie d'expliquer ce que l'on entend pas méthodes statistiques et on donne des exemples concrets d'application dans la cybersécurité.

    • Cryptography

    • Working group

    Analyse statistique des extrêmes pour la modélisation d'évènements rares ou atypiques

    • April 08, 2023 (10:00 - 11:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Speaker : Gilles Stupfler - ENSAI

    • Seminar

    • SoSysec

    La protection des flux en télévision numérique

    • November 22, 2019

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

    Speaker : Eric Desmicht (DGA)

    En télévision numérique, des flux numériques comportant de la vidéo sont mis à la disposition des utilisateurs via différents média (cable, satellite, TNT, IP…) et différentes techniques (broadcast, multicast, unicast, support numérique…). Pour garantir les revenus des opérateurs de télévision à péage proposant des contenus à forte valeur ajoutée, il est essentiel que seuls les consommateurs ayant[…]

    • Seminar

    • SoSysec

    Automated verification of privacy-type properties for security protocols

    • March 16, 2018

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

    Speaker : Ivan Gazeau (LORIA, Inria Nancy)

    The applied pi-calculus is a powerful framework to model protocols and to define security properties. In this symbolic model, it is possible to verify automatically complex security properties such as strong secrecy, anonymity and unlinkability properties which are based on equivalence of processes.In this talk, we will see an overview of a verification method used by a tool, Akiss. The tool is[…]

    • Seminar

    • SoSysec

    A Compositional and Complete approach to Verifying Privacy Properties using the Applied Pi-calculus

    • February 08, 2019

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

    Speaker : Ross Horne (University of Luxembourg)

    The pi-calculus was introduced for verifying cryptographic protocols by Abadi and Fournet in 2001. They proposed an equivalence technique, called bisimilarity, useful for verify privacy properties. It is widely acknowledged (cf. Paige and Tarjan 1987), that bisimilarity is more efficient to check than trace equivalence; however, surprisingly, tools based on the applied pi-calculus typically still[…]
Page top