Easter 1999

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.


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: 19th May, 1999.