Filter by content type

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

Remove all filters

708 results

    • Seminar

    • SoSysec

    Intrusion Detection Systems over an Encrypted Traffic: Problem and Solutions

    • December 06, 2019

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

    Speaker : Sébastien Canard (Orange)

    Privacy and data confidentiality are today at the heart of many discussions. But such data protection should not be done at the detriment of other security aspects. In the context of network traffic, intrusion detection system becomes in particular totally blind when the traffic is encrypted, making clients again vulnerable to known threats and attacks. Reconciling security and privacy is then one[…]

    • Seminar

    • SoSysec

    Private Set Intersection and Other Private Information Sharing Protocols

    • November 07, 2022

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

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

    • Seminar

    • SoSysec

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

    • April 16, 2021

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

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

    • Seminar

    • SoSysec

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

    • May 13, 2022

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

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

    • 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

    • SemSecuElec

    Automated software protection for the masses against side-channel attacks

    • May 10, 2019

    • Univ Grenoble Alpes, CEA, List - Salles Petri/Turing

    Speaker : Nicolas Belleville

    This presentation will present an approach and a tool that answer the need for effective, generic, and easily applicable protections against side-channel attacks. The protection mechanism is based on code polymorphism, so that the observable behaviour of the protected component is variable and unpredictable to the attacker. Our approach combines lightweight specialized runtime code generation with[…]
Page top