Lent 2000

1st February
Geraint Price, CCSR University of Cambridge
THE INTERACTION BETWEEN FAULT TOLERANCE AND SECURITY
8th February*
Elisa Bertino, Universita' degli Studi di Milano
SECURE AND SELECTIVE DISSEMINATION OF XML DOCUMENTS
8th February
Alastair Kelman, LSE
THE SHADOW OF YOUR SOUL
15th February
Vijay Varadharajan, Microsoft Research
DISTRIBUTED AUTHORISATION FOR ENTERPRISES
22nd February - CANCELLED
Alexander Carter-Silk, DJ Freeman (solicitors)
TECHNICAL MEASURES IN THE WAR AGAINST COUNTERFEITING
29th February
Alec Muffett, Sun Professional Services
SENSS BRUCE - DEVELOPING A TOOL FOR SECURE BULK SYSTEMS INTEGRITY-CHECKING
7th March**
Christopher Andrew, University of Cambridge
CODEBREAKING IN THE COLD WAR
14th March
Anne Adams, Middlesex University
THE CLASH BETWEEN USERS' AND SECURITY DEPARTMENTS' PERCEPTIONS
Note that there is a talk at Microsoft on facial feature processing on 25th January.
* This talk will be given at Microsoft Research.
** Prof. Andrew's talk will be given at 5pm.

Easter 2000

9th May
Nicko van Someren, nCipher
HARDWARE SECURITY MODULES IN ELECTRONIC COMMERCE
30th May
Alan Solomon
HOW THE CREDIT CARD SYSTEM *REALLY* WORKS
2nd June
Marijke De Soete, Europay International
SECURITY IN AN INTERNATIONAL ELECTRONIC PAYMENT SYSTEM (4pm)
6th June
Ian Brown, University College, London
ELECTRONIC COMMERCE: WHO CARRIES TEH RISK OF FRAUD?
13th June
Stephen Early, Computer Laboratory
MIMESIS - OPERATING SYSTEM SUPPORT FOR CONFINED EXECUTION ENVIRONMENTS
20th June
Susan Pancho, Computer Laboratory
REVISITING PROTOCOL MODELLING
23th June
Whitfield Diffie
INFORMATION WARFARE IN THE 21st CENTURY
27th June
Richard Cox, Mandarin Technology
TELECOMMS FRAUD - NO 'THEM' AND 'US' ANY MORE
29th June
Dawn Song, University of California at Berkeley
AUTOMATIC ANALYSIS AND GENERATION OF SECURITY PROTOCOLS (ATHENA AND APG) (11am) **

** This talk is cancelled due to unexpected reasons.

All talks are in room TP4. They are at 4.15 pm unless otherwise noted.
Maps and travelling directions are at here.

Security seminars are also held occasionally at Microsoft Research across the road - for details see this link.


Michalmas 2000

3rd October
Jianxin Yan, Stephen Early, University of Cambridge
THE XENOSERVICE - A DISTRIBUTED DEFEAT FOR DISTRIBUTED DENIAL OF SERVICE

10th October
John Adams, University College London
DO WE HAVE ENOUGH ACCIDENTS?

17th October
Ron Rivest, MIT
TWO NEW SIGNATURE SCHEMES

24th October
George Danezis, University of Cambridge
AUCTIONS OVER ANONYMOUS NETWORKS

31st October
Richard Clayton, University of Cambridge
PRACTICAL TRACEABILITY 101

7th November
Ulrich Lang, University of Cambridge
SECURITY ATTRIBUTES IN CORBA

14th November
Charles Lindsay, University of Manchester
LIVING WITH RIP

15th November*
Glynn Winskel, Cambridge University
LOCALITY, INDEPENDENCE AND LINEARITY

21st November
Dave Otway, Citrix Research
A NESTED MUTUAL AUTHENTICATION PROTOCOL

29th November*
Marcelo Fiore, University of Cambridge
MODEL CHECKING SECURITY PROPERTIES OF CRYPTOGRAPHIC PROTOCOLS

* Note: this talk is given in Babbage Lecture Theatre on a Wednesday

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

Copyright © 1995-2000 by Computer Security Group, Computer Laboratory, University of Cambridge.
For more information and comments, please contact group webmaster.
Last updated: 2nd October, 2000.