InfoSec Seminar: Limitations of black-box constructions in cryptography

Speaker: Dr Mohammad Hajiabadi

Date/Time: 27-Oct-2016, 16:00 UTC

Venue: Gordon Street (25) - Maths 505

Details

Abstract

Since much of modern cryptography is based on unproven assumptions a central goal in crypto is to base primitives on the weakest possible assumptions. Most cryptographic constructions are black-box in the sense that, roughly speaking, the constructed object uses the base object as an oracle, without assuming anything beyond the input-output behavior of the base object. Starting with the seminal paper of Impagliazzo and Rudich (1989) there has been a large body of work showing that certain cryptographic primitives cannot be built based on certain others in a black-box way.

I'll give an overview of some of the black-box separation models used in the literature. If time permits, I'll discuss one of the results of my PhD work, showing a black-box separation between key-dependent-message-secure (KDM-secure) public-key encryption and semantically-secure public-key encryption.

Bio

 

Mohammad Hajiabadi has recently (September 2016) joined the security group of UCL, working with Jens Groth. He completed his PhD in Computer Science at the University of Victoria, Canada, under the supervision of Bruce Kapron. His main areas of research include foundations of cryptography and applications of formal methods in cryptography.

Add to Calendar

This page was last modified on 27 Mar 2014.