[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
DIMACS Workshop on Cryptographic Protocol Design and Verification, Sept. 3-5, 1997
The following workshop might be of interest to some of you; it's a chance
to tell the formalists what the real problems in crypto protocol correctness
are, or to find out what tools are available for determining correctness.
Hilarie
=====================================================================
From: Barbara Quigley <bquigley@iyar.rutgers.edu>
Subject: DIMACS Workshop on Cryptographic Protocol Design and
Verification, Sept. 3-5, 1997
--------------------------------------------------------------------------
| DIMACS: Center for Discrete Mathematics & Theoretical Computer Science
|
| A National Science Foundation Science and Technology Center
|
--------------------------------------------------------------------------
DIMACS Special Year on Networks
Workshop on Cryptographic Protocol Design and Verification
September 3-5, 1997
DIMACS Center, CoRE Building, Rutgers University
ORGANIZERS:
Hilarie Orman, orman@darpa.mil
Catherine Meadows, meadows@itd.nrl.navy.mil
The purpose of the workshop is to bring together those who design and
implement cryptographic protocols with those who formally analyze
them, in order to develop a community that can routinely produce
secure protocols for use in protecting organizational data and
facilitating commerce. The two groups will have opportunities to share
ideas about the current state of the art, directions to pursue, and
the motivation for their work.
Participants will be encouraged to bring demonstration software with
them, and part of the workshop organization will involve determining
the needs for Internetwork access and local networking. The
demonstrations will be of secure protocols in action and of
interactive specification and verification techniques.
In addition to examining the current state, participants will attempt
to quantify the factors that they expect to be significant
contributors to scaling the current techniques for future
problems. For example, the ability to perform proofs new protocols
within a day might be significant. What are the prospects for doing
this for a mobile internetwork protocol, for example.
Ideally the conclusion of the workshop would be a set of published
guidelines for how to design and verify secure cryptographic
protocols in reasonable time.
---------------------------------------------------------------------
The Special Year program is made possible by long term funding from the
National Science Foundation, the New Jersey Commission on Science and
Technology and DIMACS university and industry partners.
DIMACS Center; Rutgers University; P.O. Box 1179; Piscataway, NJ 08855-1179
TEL: 908-445-5928 FAX: 908-445-5932
** EMAIL: center@dimacs.rutgers.edu
WWW: http://dimacs.rutgers.edu ** TELNET: telnet info.rutgers.edu
DIMACS is a partnership of Rutgers University, Princeton University,
AT&T Labs, Bellcore, and Bell Laboratories.