Je recherche

692 résultats

• • Séminaire

  • SoSysec

  DroidGuard: A Deep Dive into SafetyNet

  • 06 janvier 2023

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

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

• • Séminaire

  • SoSysec

  Browser fingerprinting: past, present and possible future

  • 21 janvier 2022

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

  Orateur : Pierre Laperdrix (CRIStAL)

  Browser fingerprinting has grown a lot since its debut in 2010. By collecting specific information in the browser, one can learn a lot about a device and its configuration. It has been shown in previous studies that it can even be used to track users online, bypassing current tracking methods like cookies. In this presentation, we will look at how this technique works and present an overview of[…]

• • Séminaire

  • SoSysec

  Private Set Intersection and Other Private Information Sharing Protocols

  • 07 novembre 2022

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

  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 - - Room TBD

  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

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

  • 13 novembre 2020

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

  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

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

  • 13 mai 2022

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

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