Filter by content type

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

Remove all filters

681 results

    • 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

    • SoSysec

    Security and privacy in personal data management systems

    • January 28, 2022

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

    Speaker : Nicolas Anciaux (INRIA)

    Personal Data Management Systems (called PDMS) provide individuals with a hardware and/or software solution to manage their data under control. From a data management and security/privacy perspective, the issues involved are complex and differ significantly from the traditional database setting. The emergence of trusted execution environments (such as Intel SGX) could be a game changer. This[…]

    • Seminar

    • SoSysec

    DroidGuard: A Deep Dive into SafetyNet

    • January 06, 2023

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

    Speaker : Romain Thomas (Quarkslab)

    SafetyNet is the Android component developed by Google to verify the devices’ integrity. These checks are used by the developers to prevent running applications on devices that would not meet security requirements but it is also used by Google to prevent bots, fraud and abuse.In 2017, Collin Mulliner & John Kozyrakis made one of the first public presentations about SafetyNet and a glimpse into the[…]

    • Seminar

    • SoSysec

    Canadian and Québec approaches to contact tracing

    • December 11, 2020

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

    Speaker : Sébastien Gambs (Université du Québec à Montréal, Canada)

    Contact tracing applications have been deployed in many countries as a complementary measure to fight Covid-19 by enabling to automatically notify individuals who have been in contact with infected persons. However, the choice of the design of a particular application is not innocent as it has a direct impact on its security as well as on the privacy of its user. In this talk, I will review the[…]
Page top