log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Quantum Physical Unclonable Functions and Their Comprehensive Cryptanalysis Primary tabs
Mina Doosti - University of Edinburgh
Virtual Via Zoom: https://umd.zoom.us/j/97616215362
Thursday, November 18, 2021, 2:00-3:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

A Physical Unclonable Function (PUF) is a device with unique behaviour that is hard to clone due to the imperfections and natural randomness during the manufacturing procedure, hence providing a secure fingerprint. A variety of PUF structures and PUF-based applications have been explored theoretically as well as being implemented in practical settings. Recently, the inherent unclonability of quantum states has been exploited to derive the quantum analogue of PUF as well as new proposals for the implementation of PUF. Nevertheless, the proper mathematical model and security framework for their study was missing from the literature. In this talk, I will present our work on the first comprehensive study of quantum Physical Unclonable Functions (qPUFs) with quantum cryptographic tools. First, I introduce the formal definition and framework of qPUF capturing the quantum analogue of all the requirements of classical PUFs. Then, I introduce a new quantum attack technique based on the universal quantum emulator algorithm of Marvin and Lloyd that we have used to explore the vulnerabilities of quantum and certain classical PUFs leading to general no-go results on the unforgeability of qPUFs. On the other hand, we prove that a large family of qPUFs (called unitary PUFs) can provide quantum selective unforgeability which is the desired level of security for most PUF-based applications. Moreover, I elaborate on the connection between qPUFs as hardware assumptions, and computational assumptions such as quantum pseudorandomness in order to establish the link between these two relatively new fields of research.

This talk is organized by Andrea F. Svejda