Je recherche

632 résultats

• • Séminaire

  • SoSysec

  Private Set Intersection and Other Private Information Sharing Protocols

  • 07 novembre 2022

  • Inria Center of the University of Rennes - - Petri/Turing room

  Orateur : Xavier Carpent (University of Nottingham)

  In this seminar, we will give an overview of Private Set Intersection (PSI), some of its constructions, use cases, and open research questions. The canonical PSI protocol allows Alice and Bob (both with their own set of elements) to interact in a way that Alice learns the intersection of the sets and nothing else. Numerous variants exist:cardinality of intersection only (how many elements in[…]

• • Séminaire

  • SoSysec

  Squirrel: a new approach to computer-assisted proofs of protocols in the computational model.

  • 16 avril 2021

  • Inria Center of the University of Rennes - - Petri/Turing room

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

• • Séminaire

  • SoSysec

  Port Contention Goes Portable: Port Contention Side Channels in Web Browsers

  • 13 mai 2022

  • Inria Center of the University of Rennes - - Petri/Turing room

  Orateur : Thomas Rokicki (Univ Rennes, CNRS, IRISA)

  Microarchitectural side-channel attacks can derive secrets from the execution of vulnerable programs. Their implementation in web browsers represents a considerable extension of their attack surface, as a user simply browsing a malicious website, or even a malicious third-party advertisement in a benign cross-origin isolated website, can be a victim.In this talk, we present the first CPU port[…]

• • Séminaire

  • SoSysec

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

  • 13 novembre 2020

  • Inria Center of the University of Rennes - - Petri/Turing room

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

• • Séminaire

  • SoSysec

  Differentially Private Linear Sketches: Efficient Implementations and Applications

  • 10 février 2023 (09:30 - 10:30)

  • Inria Center of the University of Rennes - - Petri/Turing room

  Orateur : Fuheng Zhao (University of California Santa Barbara)

  Linear sketches have been widely adopted to process fast data streams, and they can be used to accurately answer frequency estimation, approximate top K items, and summarize data distributions. When data are sensitive, it is desirable to provide privacy guarantees for linear sketches to preserve private information while delivering useful results with theoretical bounds. To address these[…]

• • Séminaire

  • SoSysec

  Security and privacy in personal data management systems

  • 28 janvier 2022

  • Inria Center of the University of Rennes - - Petri/Turing room

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