Workshop Programme

for period 31 Jan-2 Feb

31 Jan-2 Feb

Timetable

Tuesday 31 January
09:00-09:40	Registration	SAS
09:40-09:45		SAS
	Welcome: Is Cryptographic Theory Practically Relevant?	Sem 1
09:45-10:30	Vaudenay, S (EPFL)	SAS
	Privacy in Deniable Anonymous Concurrent Authentication with Setup is Impossible: Do we Care?	Sem 1
10:30-11:00	Morning Coffee	SAS
11:00-11:45	Cachin, C (IBM Research, Zurich)	SAS
	Storage encryption and key management	Sem 1
11:45-12:30	Naccache, D (ENS Paris)	SAS
	Mathematical and practical security problems not directly related to cryptography	Sem 1
12:30-13:30	Lunch at Wolfson Court	SAS
14:00-14:45	Groth, J (UCL)	SAS
	Efficient Verification of ElGamal Ciphertext Shuffles	Sem 1
14:45-15:30	Shrimpton, T (Portland State)	SAS
	A long answer to the simple question, "Is TLS provably secure?"	Sem 1
15:30-16:00	Afternoon Tea	SAS
16:00-16:30	Horne, R; French, G (Barclays and UK Cabinet Office/Barclays)	SAS
	Scaling Cryptographic Deployments	Sem 1
16:30-17:15	Steel, G (ENS Cachan)	SAS
	Analysis of Cryptographic Security APIs	Sem 1
17:30-18:00	Drinks Reception	SAS

Wednesday 01 February
09:00-09:45	Krawczyk, H (IBM Research, USA)	SAS
	Cryptographic Extraction	Sem 1
09:45-10:30	Beric, J; Ward, M (Mastercard International)	SAS
	The practical application of cryptography to international card payments	Sem 1
10:30-11:00	Morning Coffee	SAS
11:00-11:45	Kiayias, A (Athens)	SAS
	Cryptography with Work-based Corruptions and the Combinatorics of Anonymity	Sem 1
11:45-12:30	Bond, M (Cryptomathic)	SAS
	HSM Portal – Practical Tools built on Theory	Sem 1
12:30-13:30	Lunch at Wolfson Court	SAS
14:00-14:45	Preneel, B (KU Leuven)	SAS
	Theory and practice for hash functions	Sem 1
14:45-15:30	Paar, C (Ruhr University Bochum)	SAS
	Lessons Learned from Four Years of Implementation Attacks against Real-World Targets	Sem 1
15:30-16:00	Afternoon Tea	SAS
16:00-16:45	Danezis, G (Microsoft)	SAS
	Secure metrology: From theory to practice	Sem 1
16:45-17:15	Discussion Time	SAS
19:30-22:00	Conference Dinner at Emmanuel College	SAS

Thursday 02 February
09:00-09:45	Ristenpart, T (Wisconsin, Madison)	SAS
	Practice-Driven Cryptographic Theory	Sem 1
09:45-10:30	Shacham, H (UCSB)	SAS
	Cars and Voting Machines: Embedded Systems in the Field	Sem 1
10:30-11:00	Morning Coffee	SAS
11:00-11:45	Chen, L (Hewlett-Packard Laboratories)	SAS
	From Cryptographer's Cryptography to Engineer's Crypto	Sem 1
11:45-12:30	Wikström, D (KTH - Royal Institute of Technology)	SAS
	Verificatum -- An efficient and provably secure mix-net	Sem 1
12:30-13:30	Lunch at Wolfson Court	SAS
14:00-14:45	Cremers, C (ETH Zurich)	SAS
	Key Exchange: Security Models and Automatic Analysis	Sem 1
14:45-15:30	McGrew, D (Cisco)	SAS
	Problems in Cryptographic Standards and Implementations	Sem 1
15:30-16:00	Afternoon Tea	SAS
16:00-16:30	Panel Session: New Directions in Practice Driven Cryptography	SAS

Other Seminars