DIMACS Workshop on Design and Formal Verification of Security Protocols

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

Organizers:

Hilarie Orman, DARPA, ho@cs.arizona.edu

Catherine Meadows, Naval Research Lab, meadows@itd.nrl.navy.mil

• Workshop Announcement

• Call for Participation

• Program

  The individual papers for this workshop are linked to the program or you may request the proceedings on a CD-ROM. Contact center-admin@dimacs.rutgers.edu to request a copy.

• Registration Form

• Information on Accommodations

• Information on Travel Arrangements

• Important Reimbursement Information

  Attendees who have been offered support should keep two rules in mind. Reimbursement for air travel can only be made for travel on US Flag Carriers. (For example, travel on airlines such as United, Continental, USAir, and others that are United States based are allowable. Travel on airlines such as Lufthansa, SAS, Air Canada and other airlines based outside the US cannot be reimbursed by DIMACS.)

  The second rule to keep in mind is to get original receipts for all reimbursable expenses.

• Workshop Evaluation http://dimacs.rutgers.edu/archive/drei/1997/schedule/evaluation.html

Other Workshops

DIMACS Homepage