Seminar, 7th August 1997

[ Changed 1st August 1997 ]

Speaker:

Catherine A. Meadows, Naval Research Laboratory

Date:

Thursday 7th August at 14:00

Place:

Room TP4, Computer Laboratory

Title:

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

NOTE: the time is nonstandard for a security seminar.