Sylvan Pinsky and Ed Zieglar have organized a continuing series of seminars on Security Protocol Analysis. These seminars bring together a number of researchers in the area for "semi-formal" presentations and reports on their current research in the area. Seminars have been held on a regular basis 3 to 4 times a year for the past half-dozen years or so on both the East and West Coasts.
Iliano Cervesato maintains web pages that contain pointers to the presentations of some of the past Seminars. "These pages are not currently available. We are making arrangements to make the information accessible in the near future"
You can access information about the Oct. 1-2 meeting held at the National Cryptologic Museum at Fort Meade, MD here
You can access information about the January 2008 meeting held at the Naval Postgraduate School in Monterey, CA here
You can access information about the October 2007 meeting held at the University of Maryland, Baltimore County here.
You can access information about the May 2007 meeting held the SRI facilities in Arlington, VA. You can find information about this meetinge here.
You can access information about the Jan 2007 meeting held at the Naval Postgraduate School here. This information is not yet up-to-date.
Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense