Skip to content

Workshop Programme

for period 31 Jan-2 Feb

Is Cryptographic Theory Practically Relevant?

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
Seminars in the University
National and International Scientific Research Meetings

Back to top ∧