28th January

Larry Paulson, University of Cambridge

MECHANISED PROOFS FOR A RECURSIVE AUTHENTICATION PROTOCOL

4th February

Jean-Bernard Fischer, Thomson Consumer Electronics, France

SECURITY BASED ON ERROR CORRECTING CODES AND ITS

APPLICATION TO PAY-TV

7th February

Tony Sale, President, The Bletchley Park Trust

THE BREAKING OF THE GERMAN LORENZ WORLD WAR 2 CYPHER:

MAX NEWMAN'S CONTRIBUTION AND COLOSSUS.

11th February

Alastair Kelman, Barrister

ELECTRONIC COPYRIGHT MANAGEMENT - THE WAY AHEAD

18th February

Perri 6, Demos

TRUST

21st February (Friday)

Butler Lampson, Microsoft Corporation

THE SDSI PUBLIC-KEY INFRASTRUCTURE

25th February

Aris Zakinthinos, University of Cambridge

THE COMPOSITION OF SECURITY PROPERTIES

4th March

Mike Roe, University of Cambridge

NON-REPUDIATION

11th March

Alec Muffett, Sun Microsystems

PROGRAMMING GOOFS THAT WILL HOSE YOUR SYSTEM SECURITY

18th March

Drew Dean, Princeton University

THE IMPACT OF DYNAMIC LINKING ON JAVA SECURITY

24th March (Monday at 14:15)

Ross Anderson, University of Cambridge

STEGANOGRAPHY AND COPYRIGHT MARKING

20th May

Carl Ellison, CyberCash Inc.

SECURE TRANSFER OF TRUST

18th June

Luca Cardelli, DEC Systems Research Center

ABSTRACTIONS FOR MOBILE COMPUTATION

8th July

Adi Shamir, Weizmann Institute of Science, Israel

A NEW PARADIGM FOR MASSIVELY PARALLEL RANDOM SEARCH

10th July

Martín Abadi, DEC Systems Research Center

SECURITY AND TYPES IN THE JAVA VIRTUAL MACHINE

7th August

Catherine A. Meadows, Naval Research Laboratory

STATE REACHABILITY TECHNIQUES IN THE FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS: STATE OF THE ART AND OPEN ISSUES

29th August

Eli Biham, Technion, Haifa, Israel.

VISUAL CRYPTOGRAPHY WITH POLARISATION

25th September

Marc Joye, Katholieke Universiteit Leuven

SECURITY ANALYSIS OF RSA-TYPE CRYPTOSYSTEMS

29th September

Heather Hinton, Ryerson Polytechnic University

COMPOSABLE AND EMERGENT SECURITY PROPERTIES

3rd October

Michael Schroeder, Digital Systems Research Center

PACHYDERM: KEEPING YOUR EMAIL ON THE WEB

14th October

Peter Landrock, Cryptomathic and Aarhus University

EDIFACT SECURITY AND THE PUBLIC KEY INFRASTRUCTURE

21st October

Larry Paulson, University of Cambridge

INDUCTIVE ANALYSIS OF THE INTERNET PROTOCOL TLS

28th October

Simon Foley, University College, Cork

DYNAMIC SEPARATION OF DUTIES IN THE CLARK-WILSON MODEL: SHIFTING TRUST IN THE APPLICATION BACK INTO THE TCB

18th November

Nigel Smart, Hewlett-Packard Laboratories

THE DISCRETE LOGARITHM PROBLEM ON ELLIPTIC CURVES

25th November

Ed Somer, United Medical and Dental Schools

A SECURE INTER-HOSPITAL IMAGE REPORTING TOOL

2nd December

Wenbo Mao, Hewlett-Packard Laboratories

FAIR AND BLIND CERTIFICATION OF KNOWLEDGE

9th December

Markus Kuhn, University of Cambridge

ATTACKS ON PAY-TV ACCESS CONTROL SYSTEMS