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

    A Fundamental Approach to Cyber Risk Analysis

    • September 16, 2022

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

    Speaker : Rainer Böhme (Universität Innsbruck)

    This paper provides a framework actuaries can use to think about cyber risk. We propose a differentiated view of cyber versus conventional risk by separating the nature of risk arrival from the target exposed to risk. Our review synthesizes the liter- ature on cyber risk analysis from various disciplines, including computer and network engineering, economics, and actuarial sciences. As a result,[…]

    • Seminar

    • SoSysec

    Towards Security-Oriented Program analysis

    • October 29, 2021

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

    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

    Not so AdHoc testing: formal methods in the standardization of the EDHOC protocol

    • December 16, 2022

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

    Speaker : Charlie Jacomme (Inria Paris)

    We believe that formal methods in security should be leveraged in all the standardisation’s of security protocols in order to strengthen their guarantees. To be effective, such analyses should be:* maintainable: the security analysis should be performed on every step of the way, i.e. each iteration of the draft;* pessimistic: all possible threat models, notably all sort of compromise should be[…]

    • Seminar

    • SoSysec

    The PINED-RQ Family: Differentially Private Indexes for Range Query Processing in Clouds

    • November 13, 2020

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

    Speaker : Tristan Allard (IRISA, Université de Rennes 1)

    Performing non- aggregate range queries on cloud stored data, while achieving both privacy and efficiency is a challenging problem. With the PINED-RQ family of techniques, we propose constructing a differentially private index to an outsourced encrypted dataset. Efficiency is enabled by using a cleartext index structure to perform range queries. Security relies on both differential privacy (of the[…]

    • Seminar

    • SoSysec

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

    • September 23, 2022

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

    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

    • SemSecuElec

    True Random Number Generators enabled hardware security

    • March 29, 2019

    • Hardware Security and Cryptographic Processor Lab, Institute of Microelectronics, Tsinghua University, China - Métivier

    Speaker : Bohan Yang

    True randomness is all about unpredictability, which can neither be qualified nor quantified by examining statistics of a sequence of digits. Unpredictability is a property of random phenomena, which is measured in bits of information entropy. Application of randomness spans from art to numerical computing and system security. Random numbers enable various cryptographic algorithms, protocols and[…]
Page top