Search

759 results

• • Seminar

  • SoSysec

  Voting : You Can’t Have Privacy without Individual Verifiability

  • March 01, 2019

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Joseph Lallemand (Loria)

  Electronic voting typically aims at two main security goals: vote privacy and verifiability. These two goals are often seen as antagonistic and some national agencies even impose a hierarchy between them: first privacy, and then verifiability as an additional feature. Verifiability typically includes individual verifiability (a voter can check that her ballot is counted); universal verifiability […]

• • Seminar

  • SoSysec

  Binary Edwards Curves for intrinsically secure ECC implementations for the IoT

  • September 07, 2018

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Antoine Loiseau (CEA)

  Even if recent advances in public key cryptography tend to focus on algorithms able to survive the post quantum era, at present, there is a urgent need to propose fast, low power and securely implemented cryptography to address the immediate security challenges of the IoT. In this talk, we present a new set of Binary Edwards Curves which have been defined to achieve the highest security levels (up[…]

• • Seminar

  • SoSysec

  When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise

  • February 05, 2018

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Catalin Hritcu (Inria Paris)

  We propose a new formal criterion for secure compilation, providing strong end-to-end security guarantees for components written in unsafe, low-level languages with C-style undefined behavior. Our criterion is the first to model dynamic compromise in a system of mutually distrustful components running with least privilege. Each component is protected from all the others until it becomes[…]

• • Seminar

  • SoSysec

  A Formal Analysis of 5G Authentication

  • June 03, 2019

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Sasa Radomirovic (University of Dundee)

  Mobile communication networks connect much of the world’s population. The security of users’ calls, text messages, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose.In this talk, I will report on our formalization of the 5G standard’s AKA[…]

• • Seminar

  • SoSysec

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

  • May 13, 2022

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  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 - - See the page of each talk for the room.

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