[TYPES] CPSec workshop

Stefano Bistarelli stefano.bistarelli at iit.cnr.it
Fri Jun 10 16:47:55 EDT 2005

(apologizes for multiple copies)
                  1st International Workshop on

                          Applications of
         Constraint Satisfaction and Programming
                        Computer Security
                         October 1st, 2005
                             Barcelona, Spain
                      Held in conjunction with
                   11th International Conference on
Principles and Practice of Constraint Programming, CP2005


                              Call for Paper

Constraint Satisfaction and Programming is emerging as an effective 
practical approach for solving large complex problems. It offers a 
significant body of
successful techniques for verifying system properties. Recently, researchers
have begun using advances in constraint programming and solving to solve 
security problems, with success. This workshop seeks to act as a catalyst 
for this emerging area by exploring the challenges and the potential that 
these techniques may offer when applied to security problems.

The use of Constraint Satisfaction and Programming to address security 
problems is recent, and it has already produced a number of novel solutions 
and insights. For example, constraints have been successfully used in the 
the analysis of security protocols, the development of access control models 
and mechanisms, firewall configuration and secure system configuration in 

Workshop topics include (but are not limited to):

* security models
* information flow
* trust management
* database security
* data and system integrity
* security protocols
* security configuration
* access control
* secure applications
* security trade-offs


The workshop aim is to provide a forum where researchers currently working 
in the area of security and constraints can discuss their most recent ideas 
developments and think together about the most promising new directions.
Therefore we encourage the presentation of work in progress or on 
specialized aspects of the area. Papers that bridge the gap between theory 
and practice are especially welcome.

Prospective attendees can submit a paper, which can be up to 15 pages in 
We encourage authors to submit papers electronically in postscript or pdf 
Papers should be formatted using the Lecture Notes in Computer Science 
(LNCS) style.
Please send your submissions by email to stefano.bistarelli at iit.cnr.it using 
the subject line "cpsec-2005 Workshop Submission".

Important Dates
The proposed schedule of important dates for the workshop is as follows:

Paper Submission deadline June 26th
Notification of acceptance July 24th
Camera-ready version deadline August 16th
Workshop Date October 1st

Workshop Organizers:

   Giampaolo Bella
   Dipartimento di Matematica e Informatica
   Universit`a di Catania, Italy
   Email: giamp at dmi.unict.it
   Web: http://www.dmi.unict.it/~giamp/


   Stefano Bistarelli (Primary Contact)
   Dipartimento di Scienze
   Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy
   Email: bista at sci.unich.it
   Web: http://www.sci.unich.it/~bista/
   Istituto di Informatica e Telematica
   C.N.R. Pisa, Italy
   Email: stefano.bistarelli at iit.cnr.it


   Simon N. Foley
   Department of Computer Science
   University College Cork, Ireland
   Email: s.foley at cs.ucc.ie
   Web: http://www.cs.ucc.ie/~simon/


   Barry O'Sullivan
   Cork Constraint Computation Centre
   University College Cork, Ireland
   Department of Computer Science
   University College Cork, Ireland
   Email: b.osullivan at cs.ucc.ie
   Web: http://www.cs.ucc.ie/~osullb/

Program Committee:

Giampaolo Bella -- Dipartimento di Matematica e Informatica, Universita' di 
Catania, Italy
Stefano Bistarelli -- Universita' degli Studi "G. D'annunzio", Pescara, 
Italy and IIT-CNR, Pisa, Italy
Yannick Chevalier -- Institut de Recherche en Informatique de Toulouse 
(IRIT), France
Giorgio Delzanno -- Dipartimento Informatica e Scienze dell'Informazione, 
Università di Genova, Italy
Alessandra Di Pierro -- Dipartimento di Informatica, University of Pisa, 
Fabio Fioravanti -- Universita' degli Studi "G. D'annunzio", Pescara, Italy
Simon Foley -- Department of Computer Science University College Cork, 
John Herbert -- Department of Computer Science University College Cork, 
Fabio Martinelli -- Istituto di Informatica e Telematica, CNR, Pisa, Italy
Barry O'Sullivan -- Cork Constraint Computation Centre, University College 
Cork, Ireland
Michael Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France
Justin Pearson -- Department of information technology, Uppsala University, 
Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas 
at Austin, USA
Fred Spiessens -- U.C.L. Louvain-la-Neuve, Belgium
Garret Swart -- I.B.M. Research, USA
Peter Van Roy -- Department of Computing Science and Engineering, Catholic 
University of Louvain, Belgium
Luca Vigano -- ETH, Zurich, Switzerland
Duminda Wijesekera -- ISE, George Mason University, USA
Herbert Wiklicky -- Department of Computing, Imperial College London, UK 

More information about the Types-list mailing list