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
Presented under the auspices of the DIMACS Special Year on Networks.
The organizers have not provided a call for participation.
Some workshops invite papers and some have open solicitation.
If this information is not completed, the
Workshop Announcement
may have information.
Previous: Announcement
Next: Program
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on February 28, 1997.