Wed, 02 Mar 2016
15:00

Cryptographic Algorithms Used in Trusted Platform Modules

Liqun Chen
(Hewlett Packard Labs)
Abstract

Trusted Platform Modules (TPMs) are currently used in large numbers of computers. In this talk, I will discuss the cryptographic algorithms supported by the current version of the Trusted Platform Modules (Version 1.2) and also those due to be included in the new version  (Version 2.0).  After briefly introducing the history of TPMs, and the difference between these two generations TPMs, I will focus on the challenges faced in developing Direct Anonymous Attestation (DAA) an algorithmic scheme designed to preserve privacy and included in TPMs.

Mon, 30 Nov 2015

16:00 - 17:00
C2

TBA

Simon Rydin Myerson
(Oxford)
Wed, 24 Feb 2016
15:00
L4

Pairing-based Succinct Non-interactive Arguments

Jens Groth
(University College, London)
Abstract
Zero-knowledge proofs enable a prover to convince a verifier that a statement is true without revealing anything but the truth of the statement. In recent years there has been a lot of effort in making the proofs succinct, i.e., the proof may be much smaller than the statement itself and be very easy for the verifier to check. The talk will give a general introduction to zero-knowledge proofs and a presentation of a new pairing-based succinct non-interactive argument system.
Mon, 09 Nov 2015

12:00 - 13:00
L3

Yang-Mills origin of gravitational symmetries

Mike Duff
(Imperial College)
Abstract

By regarding gravity as the convolution of left and right Yang-Mills theories together with a spectator scalar field in the bi-adjoint representation, we derive in linearised approximation the gravitational symmetries of general covariance, p-form gauge invariance, local Lorentz invariance and local supersymmetry from the flat space Yang-Mills symmetries of local gauge invariance and global super-Poincare. As a concrete example we focus on the new-minimal (12+12) off-shell version of simple four-dimensional supergravity obtained by tensoring the off-shell Yang-Mills multiplets (4+4,NL =1)and(3+0,NR =0). 

 
Subscribe to