Easter 1995

2nd May
Bruce Christianson, University of Hertfordshire
NESTED SIGNATURES
9th May
No Seminar
16th May
Mark Lomas, University of Cambridge
TRUSTED THIRD PARTIES
23rd May
Robert Morris, University of Cambridge and NSA
FACTORING FOR COMPUTER SCIENTISTS
30th May
Dieter Gollmann, University of London
NONREPUDIATION PROTOCOLS
6th June
No Seminar
13th June
Shaw Chuang, University of Cambridge
SECURING ASYNCHRONOUS TRANSFER MODE
16th June (Friday)
Mike Reiter, Bell Labs.
EXTRA SEMINAR
THE RAMPART TOOLKIT FOR BUILDING HIGH-INTEGRITY SERVICES
23rd June (Friday)
Yvo Desmedt, University of Wisconsin
EXTRA SEMINAR
SECURING TRACEABILITY OF CIPHERTEXTS - TOWARDS A SOFTWARE KEY ESCROW SYSTEM
22nd August
Martin Abadi, DEC Systems Research Center
EXTRA SEMINAR
AUTHENTICATION IN DISTRIBUTED SYSTEMS - PRINCIPLES AND PITFALLS


Michaelmas 1995

10th October
Bill Chambers, King's College, London
PROBLEMS OF STREAM CIPHER GENERATORS WITH MUTUAL CLOCK CONTROL
17th October
Peter Ryan, Defence Research Agency, Malvern
A CSP APPROACH TO VERIFYING CRYPTO PROTOCOLS
24th October
Gavin Lowe, Oxford University
USING PROCESS ALGEBRA TO BREAK SECURITY PROTOCOLS
31st October
Chris Sutherland and Harry Manifavas, Cambridge University
ENGINEERING ASPECTS OF FAST NETWORK PAYMENTS
7th November
Ian Jackson, Cambridge University
PARANOIA AND LOCATION
14th November
Mike Lynch, Cambridge Neurosciences Ltd
COMPUTER BASED FINGERPRINT RECOGNITION
21st November
Alec Muffett, Sun Microsystems
FIREWALLS AS A NETWORK SECURITY TOOL (PAST, PRESENT AND FUTURE)
28th November
Artur Ekert, Oxford University
QUANTUM COMPUTATION: THEORY AND EXPERIMENTS


Home | Introduction | People | Contact | Research Topics | Seminars | Publications

Copyright © 1995-1999 by Computer Security Group, Computer Laboratory, University of Cambridge.
For more information and comments, please contact group webmaster.
Last updated: 5th February, 1999.