Seminars in Lent Term, 1996

Tuesday 9th January
15:30, Ruud Pellikaan
Algebraic geometry codes without algebraic geometry
16:20, Henning Stichtenoth
Some interesting curves
17:10, Tom Hoeholdt
Decoding algebraic geometry codes
Thursday 11th January
15:30, Harald Niederreiter
Cyclotomic function fields, codes and low discrepancy sequences
16:10, Chaoping Xing
Drinfeld modules and algebraic curves with many rational points
16:30, Jim Wolper
Codes from Schubert varieties
17:10, Antonio Campillo
Weierstrass semigroups from singular models
Tuesday 16th January
15:00, Tor Helleseth
Exponential sums over Galois rings and applications to sequences and codes over Z_4
15:40, Vanessa Job
Codes from Fourier and Wavelet Transforms
16:30, Torleiv Kloeve
The weight hierarchy of codes
17:10, David MacKay
Good error-correcting codes based on very sparse matrices
Tuesday 23rd January
15:00, Bob McEliece
Turbo Codes - an Introduction
15:40, Jovan Golic
Decoding beyond the minimum distance - fast correlation attacks
16:30, Mario de Boer
Codes spanned by quadratic and Hermitian forms
17:10, Karl-Heinz Zimmermann
On Hecke modules of type A as linear codes
Friday 26th January
11:00, Oscar Moreno
Exponential sums and applications: an overview of a new book
Tuesday 30th January
16:30, Svetislav Maric
1- and 2- Dimensional Correlation Properties of Various Families of Algebraically Designed Sequences
17:00, Thomas Johansson
Relations between error correcting codes, authentication codes, and universal hashing
Monday 5th February
17:00, Gus Simmons
Rothschild professorship inaugural lecture:
Share and share alike - the mathematics of distributed capability
Tuesday 6th February
17:00, Jovan Golic
Asymptotic secret sharing
Tuesday 13th February
15:50, Thomas Jakobsen
Correlation attacks on block ciphers
16:30, Mitsuru Matsui
On Duality between linear and differential cryptanalysis
17:15, Bart Preneel
New attacks and constructions for MACs
Tuesday 20th February
16:30, Gus Simmons
(to be announced)
17:15, Lars Knudsen
(to be announced)
Tuesday 27th February
17:00, Jovan Golic
On correlation attacks on stop/go cascades
Tuesday 12th March
16:30, Burt Kaliski
A Chosen Message Attack on Demytko's Cryptosystem
17:15, Claus Schnorr
Security and Efficiency of 2 to the power t root Identification and signatures
Friday 15th March
10:00, Ross Anderson
Minding your p's and q's - reverse engineering the digital signature standard
Tuesday 19th March
16:30, Carl Pomerance
Multiplicative Independence for Random Integers
17:15, Peter Landrock
Squares and factors
Tuesday 26th March
16:30, Jacques Stern
Security Proofs for Signature Schemes
17:15, Ueli Maurer
Diffie-Hellman oracles and the discrete log problem
Thursday 28th March
10:00, Ivan Damgaard
Linear Zero-Knowledge - A Note on Efficient Zero-Knowledge Proofs and Arguments
Friday 29th March
10:00, Burt Kaliski
Timing attacks

Tuesday 23rd April - Colloquium on Formal Methods and Security
10:00, Roger Needham (Cambridge)
Introduction
10:20, John McLean (US Naval Research Laboratory)
Secure Composition: An Application Area for Formal Methods
10:50, Birgit Pfitzmann (Hildesheim)
Cryptographic Semantics of Formal Specifications
11:30, Andy Gordon (Cambridge)
Introduction to Pi Calculus
11:50, Martin Abadi (DEC SRC)
Pi Calculus and Cryptography
12:10, Kim Wagner (Cambridge)
The Authentication Logics Project at Cambridge
14:00, Raphael Yahalom (Jerusalem)
Formal Analysis of Electronic Payment Protocols: Some Challenges and Opportunities
14:20, Volker Kessler (Siemens)
On Authentication Logics
14:40, Richard Kemmerer (UCSB)
Animated Formal Specifications for Cryptographic Protocol Analysis
15:30, Mark Staples (Cambridge)
Implementing the Clark-Wilson Security Policy Model in SML
15:50, Paul Curzon (Cambridge)
Hardware Verification and ATM Switches
16:10, Discussion chaired by Mike Gordon
Friday 26th April
10:00, Peter Wayner
Text-based Steganography
11:00, Matt Blaze
Decentralised Trust Management
Tuesday 30th April
10:00, Rei Safavi-Naini
Authentication systems with Shared Generation of Authenticators
Tuesday 21st May
17:00, Cathy Meadows
A Language for the Specification of Cryptographic Protocols
Friday 24th May
10:00, Dieter Gollmann
ATTACKING ATTACKS
10:30, David Wheeler, University of Cambridge
A BETTER PROTOCOL
Tuesday 28th May at 16:15
16:15, Kwok-Yan Lam
WHAT THE BANKS WANT
17:00, Richard Pinch, University of Cambridge
ON-LINE MULTIPLE SECRET SHARING
Tuesday 4th June
15:30, Yvo Desmedt
RELIABLE PRIVATE DIGITAL LIBRARIES
16:15, Li Gong
ENCLAVES: ENABLING SECURE COLLABORATION
17:00, Dieter Gollmann
BLAMING ALICE AND BOB
Tuesday 7th June
10:00, Peter Landrock
ON PRIME GENERATION fOR PUBLIC KEYS
11:00, Yves Deswarte
QUANTITATIVE ASSESSMENT OF OPERATIONAL SECURITY
Tuesday 11th June
16:00, Yves Deswarte
FAULT-TOLERANCE AND SECURITY
17:00, John Daugman, University of Cambridge
BIOMETRIC IDENTIFICATION BY A TEST OF STATISTICAL INDEPENDENCE
Monday 23rd September
Matt Blaze, AT&T Research
SYMMETRIC-KEY CIPHERS BASED ON HARD PROBLEMS

8th October
Andy Gordon, University of Cambridge
A CALCULUS FOR CRYPTOGRAPHIC PROTOCOLS: THE SPI CALCULUS
15th October
Wenbo Mao, Hewlett Packard Laboratories, Bristol
ON THE ELGAMAL FAMILY SIGNATURES AND ELECTRONIC CASH
22nd October
Bill Chambers, King's College, London
CLOCK CONTROLLED SEQUENCE GENERATORS AND THEIR CRYPTANALYSIS
29th October
Francis Aldhouse, Office of the Data Protection Registrar
NEW TECHNOLOGIES AND BETTER PRIVACY
5th November
Mike Burmester, Royal Holloway, London
LINKING TRUST WITH NETWORK RELIABILITY - THE BYZANTINE GENERALS STRIKE BACK
12th November
Larry Paulson, Cambridge University
FORMAL ANALYSIS OF PROTOCOLS USING INDUCTION
19th November
Keith Gibson, Birkbeck College, London
THE GABIDULIN CRYPTOSYSTEM
26th November
David Ferbrache, Defence Research Agency, Malvern
INFORMATION WARFARE AND INFOSEC - FUTURE CHALLENGES
3rd December
Richard Pinch, DPMMS, University of Cambridge
FACTORING AND SMART CARDS
5th December
Josef Pieprzyk, University of Wollongong, Australia
CRYPTOGRAPHIC ALGORITHM ENGINEERING