CFP: Formal Methods and Computer Security

• Subject: CFP: Formal Methods and Computer Security
• From: Helmut Veith <veith@ux8.sp.cs.cmu.edu>
• Date: Thu, 10 Feb 2000 16:12:30 -0500 (EST)

Call for Papers 

2000 Workshop on Formal Methods and Computer Security

July 20, 2000 Chicago, USA 

(CAV Workshop)

Computer security protocols are notoriously difficult to get right.
Surprisingly simple problems with some well known protocols have been found
years after the original protocol was published and extensively analyzed.

Our workshop goal is to bring together the formal methods and security
communities. Security is a current hot topic in the formal methods community,
and we hope that this workshop can help focus these energies.

Topics of interest include descriptive techniques (specification languages,
models, logics) and analysis techniques (model checking, theorem proving, and
their combination), as applied to protocols for authentication, fair exchange,
electronic commerce, and electronic auctions. However, this list is not
exclusive. We particularly want to hear about new approaches, new problems, new
security properties, and new protocol bugs. Reports on work in progress are
welcome.

The program of the workshop will include a keynote address by Doug Tygar, a
number of technical sessions (with talks of about 15-20 minutes duration), and
a panel discussion.

Paper submission:  An extended abstract (about 5-10 pages) explaining recent
  research results or work in progress should be mailed electronically to
  fmcs-2000@cs.cmu.edu, to be received by April 14, 2000. Submissions should be
  formatted as a PostScript file in USLetter or A4 size. Authors will be  
  notified of acceptance or rejection by May 16, 2000. Final versions of
  accepted papers will be due by June 16, 2000. These papers will be collected
  and distributed in an informal proceedings to be made available at the
  workshop.

DATES: 
  Submissions: April 14, 2000.
  Notification: May 16, 2000. 
  Final papers: June 16, 2000. 
  Workshop: July 20, 2000.

KEYNOTE SPEAKER: 
  Doug Tygar, UC Berkeley

WEBSITE: 
  http://www.cs.cmu.edu/~veith/fmcs/ 
  
PROGRAM COMITTEE: 
  Edmund Clarke, Carnegie Mellon University
  Nevin Heintze, Bell Laboratories 
  Catherine Meadows, Naval Research Laboratory 
  Jonathan Millen, SRI International 
  John Mitchell, Stanford University 
  Scott Stoller, Indiana University

ORGANIZING COMITTEE: 
  Edmund Clarke
  Nevin Heintze
  Helmut Veith
  
  

• Prev: CfP #2: Wksp. on Graph Transformation and Visual Modeling Techniques @ ICALP2000
• Next: PhD Postion / PostDoc / Assistant Professor at Freiburg
• Index: AMAST Mail 2000