PhD Seminar • Quantum-safe Cryptography • In-band Key Authentication from Post-quantum KEMsExport this event to calendar

Thursday, September 9, 2021 — 11:00 AM EDT

Please note: This PhD seminar will be given online.

Sebastian Reynaldo Verschoor, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Michele Mosca

Secure messaging applications establish a secured channel between two long-term public keys. Additional key authentication ensures to users that these public keys actually belong to the intended parties, prevent attacks such as a person-in-the-middle. Off-the-Record messaging provides a unique solution in the form of the socialist millionaire protocol (SMP), allowing user-friendly in-band key authentication based on a low-entropy secret between users. This solution uses Diffie-Hellman and other discrete logarithm based primitives and is therefore vulnerable to quantum attacks using Shor’s algorithm.

I propose a post-quantum replacement for the SMP, based on techniques from private set intersection. The protocol builds (a version of) a private equality test from oblivious transfers, which in turn are constructed from post-quantum key encapsulation mechanisms. I give a security argument in the simple universal composability framework, and I provide a prototype implementation in C to demonstrate the solution is practical. In the talk I give an overview of the protocol construction and discuss the considerations that lead to the current solution.


To join this PhD seminar on MS Teams, please go to https://teams.microsoft.com/l/meetup-join/19:meeting_YWZhZGQ4NzgtYTg0OS00YTQzLWFjZmItN2EwYTc0YjMyZjEz@thread.v2/0?context=%7B%22Tid%22:%22723a5a87-f39a-4a22-9247-3fc240c01396%22,%22Oid%22:%22fe80089b-3005-4397-ae62-3b12b09b38cd%22%7D.

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
26
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
  1. 2021 (182)
    1. December (1)
    2. November (5)
    3. October (12)
    4. September (21)
    5. August (20)
    6. July (17)
    7. June (11)
    8. May (16)
    9. April (27)
    10. March (20)
    11. February (13)
    12. January (19)
  2. 2020 (217)
    1. December (18)
    2. November (12)
    3. October (7)
    4. September (21)
    5. August (28)
    6. July (14)
    7. June (18)
    8. May (16)
    9. April (20)
    10. March (16)
    11. February (25)
    12. January (22)
  3. 2019 (255)
  4. 2018 (217)
  5. 2017 (36)
  6. 2016 (21)
  7. 2015 (36)
  8. 2014 (33)
  9. 2013 (23)
  10. 2012 (4)
  11. 2011 (1)
  12. 2010 (1)
  13. 2009 (1)
  14. 2008 (1)