In Your Third Year & want to find out about opportunities for summer placements and future graduate study?

Why not visit Oxford and hear from graduate students about their research

Saturday 21 January 2017: 1-6pm

Mathematical Institute, University of Oxford

TALKS ON

• Dynamics of jumping elastic toys
• Vertex models in developmental biology
• Modelling of glass sheets
• Glimpse into the mathematics of information
• Network analysis of consumer data
• Complex singularities in jet and splash flows

Complementary Lunch & Drinks Reception - TRAVEL BURSARIES AVAILABLE (up to £50)

Please RSVP to @email

In Your Third Year & want to find out about opportunities for

summer placements and future graduate study?

Why not visit Oxford and hear from graduate students about their research

TALKS ON

Dynamics of jumping elastic toys

Vertex models in developmental biology

Modelling of glass sheets

Glimpse into the mathematics of information

Network analysis of consumer data

Complex singularities in jet and splash flows

Complementary Lunch & Drinks Reception - TRAVEL BURSARIES AVAILABLE (up to £50)

Please RSVP to @email

Direct Anonymous Attestation (DAA) is a protocol that allows a security chip embedded in a platform such as laptop to authenticate itself as a genuine chip.  Different authentications are not linkeable, thus the protocol protects the privacy of the platform. The first DAA protocol was proposed by Brickell, Chen, and Camenisch and was standardized in 2004 by the Trusted Computing Group (TCG). Implementations of this protocols were rather slow because it is based on RSA. Later, alternative and faster protocols were proposed based on elliptic curves. Recently the specification by the TCG was updated to allow for DAA protocols based on elliptic curves. Unfortunately, the new standard does not allow for provably secure DAA protocols. In this talk, we will review some of the history of DAA and  then discuss the latest protocols, security models, and finally a provably secure realization of DAA based on elliptic curves.

Quantization is the study of the interface between commutative and
noncommutative geometry. There are myriad approaches to it, mostly presented
as ad hoc recipes. I shall discuss the motivating ideas, and the relations
between some of the methods, especially the relation between 'deformation'
and 'geometric' quantization.