Seminars in Lent Term, 1999

12th January
Susan Landau, Sun Microsystems Inc.
US CRYPTO POLICY: EXPLAINING THE INEXPLICABLE
26th January
Brian Gladman (formerly MoD and NATO)
EXPERIENCE IN AES ALGORITHM IMPLEMENTATION
2nd February
Dieter Gollmann, Microsoft Research
AUTHENTICATION - AGAIN!
3rd February*
Professor Richard Jozsa, University of Plymouth, School of Mathematics and Statistics
THE POWER OF QUANTUM COMPUTING
9th February
David Hilton, Signum Technology
MATCHING DIGITAL WATERMARKING METHODS TO REAL DATA
16th February
Richard Hayton, Citrix
ACCESS CONTROL IN AN OPEN DISTRIBUTED ENVIRONMENT
22nd February*
Steve Weingart, IBM
COMPUTER SUBSYSTEMS: A SURVEY OF ATTACKS AND DEFENSES
22nd February*
Steve Weingart, IBM
The IBM 4758 SECURE CRYPTOGRAPHIC COPROCESSOR HARDWARE ARCHITECTURE AND PHYSICAL SECURITY
23rd February
Bruno Crispo, University of Cambridge
DELEGATION OF RESPONSIBILITY

Note: the first seminar has been moved forward to before the start of full term.
* Some talks will not given on Tuesday in TP4. Please check the venue and time.

4th May
Virgil Gligor, University of Maryland
PENETRATION ANALYSIS METHODS AND TOOLS
5th May*
Virgil Gligor, University of Maryland
ON THE SECURITY ANALYSIS OF SYMMETRIC ENCRYPTION SCHEMES
11th May
Wenbo Mao, Hewlett-Packard Laboratories
MULTI-GRADE CRYPTOGRAPHY FOR INTEGER FACTORISATION BASED CRYPTOSYSTEMS
18th May
Virgil Gligor, University of Maryland
ON INTEGRITY-AWARE SYMMETRIC ENCRYPTION SCHEMES
25th May
Francesco Stajano, University of Cambridge
THE COCAINE AUCTION PROTOCOL
8th June
Katherine Easthaughffe, University of Cambridge
ALGEBRAIC PROPERTIES OF ENCRYPTION AND THE VERIFICATION OF AUTHENTICATION PROTOCOLS
15th June
Simon Wiseman, DERA, Malvern
USING NT TO HANDLE CLASSIFIED INFORMATION
20th July
Robert Watson, TIS/Carnegie Mellon University
MODEL CHECKING TO VERIFY COMPUTER SECURITY POLICIES

* This talk is a part of the laboratory's Wednesday seminars series at 4.15pm in the Babbage Lecture Theatre.

12th October*
Nigel Smart, Hewlett-Packard Laboratories
ELLIPTIC CURVES IN CRYPTOGRAPHY
19th October
Giampaolo Bella, Cambridge University
VERIFYING SECURITY PROTOCOLS BASED ON SMART CARDS
2nd November
Paul Leyland, Microsoft Research
THE FACTORISATION OF RSA-155
9th November - CANCELLED
Alexander Carter-Silk, DJ Freeman (solicitors)
TECHNICAL MEASURES IN THE WAR AGAINST COUNTERFEITING
16th November - POSTPONED
Stephen Early, University of Cambridge
MIMESIS: OPERATING SYSTEM SUPPORT FOR CONFINED EXECUTION ENVIRONMENTS
23rd November
Kai Rannenberg, Microsoft Research
SECURE REACHABILITY MANAGEMENT IN MOBILE COMMUNICATIONS
30th November
Dieter Gollmann, Microsoft Research
WHAT ARE PRINCIPALS?
7th December
Cedric Fournet, Microsoft Research
AUTHENTICATION PRIMITIVES AND THEIR COMPILATION

* This talk will be given at Microsoft Research, Cambridge at 3pm. Please make sure the time and venue.