DIMACS Workshop on Design and Formal Verification of Security Protocols

September 3-5, 1997
DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ


The DIMACS Conference Space at Rutgers can accommodate about 100 participants. Subject to capacity constraints, the workshop is open to all researchers. If possible, please pre-register, although registration at the conference is permitted. THERE IS NO REGISTRATION FEE FOR EVENTS THROUGH 1996; STARTING IN 1997 WORKSHOPS WILL HAVE MODEST REGISTRATION FEES.

To register, please email a Workshop Registration Form to Pat Pravato, Workshop Coordinator:

(908) 445-5930.

or send it by postal mail:

Workshop Coordinator
P.O. Box 1179
Busch Campus
Rutgers University
Piscataway, NJ 08855-1179

Previous: Program
Next: Registration Form
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on February 21, 1996.