log in  |  register  |  feedback?  |  help  |  web accessibility
Abstract Cryptography and Delegated Quantum Computation
Atul Mantri
Virtual: https://umd.zoom.us/j/621718109
Thursday, April 9, 2020, 4:00-5: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)

The session will be divided into two parts. In the first part, I will introduce a framework for the composable security - Abstract Cryptography - proposed by Maurer and Renner [1]. The main idea behind the composable security is to extend the stand-alone security definitions as they fail to capture the scenario when a (cryptographic) protocol is used as a subroutine of a larger protocol. Abstract cryptography can be used to define the security of cryptographic schemes such as symmetric encryption, message authentication codes, public-key encryption, digital signature schemes, etc and for proving the security of protocols making use of such schemes. 

In the second part, I will provide a proof sketch of the composable security of quantum cryptographic protocols such as delegated quantum computation [2] and secure remote state preparation [3] using the framework of abstract cryptography. 

We will mostly cover the results from these three papers: 

[1] Ueli Maurer and Renato Renner. “Abstract cryptography” (https://www.crypto.ethz.ch/publications/files/MauRen11.pdf)
[2] Vedran Dunjko et al. "Composable Security of Delegated Quantum Computation” (https://arxiv.org/pdf/1301.3662.pdf)
[3] Alexandru Gheorghiu and Thomas Vidick. “Computationally-secure and composable remote state preparation” (https://arxiv.org/pdf/1904.06320.pdf)

This talk is organized by Yusuf Alnawakhtha