DIMACS Workshop on Design and Formal Verification of Security Protocols
September 3-5, 1997
DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ
Presented under the auspices of the DIMACS Special Year on Networks.
- Hilarie Orman, DARPA, firstname.lastname@example.org
- Catherine Meadows, Naval Research Lab, email@example.com
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
may have information.
Contacting the Center
Document last modified on February 28, 1997.