[cap-talk] CPSec: workshop on constraints and security (cfp)

[Fred Spiessens]

Apologies for multiple copies,
Fred.

======================================================================== 
===========
                  	1st International Workshop on

		                 Applications of
		      Constraint Satisfaction and Programming
				       to
				Computer Security
			           (CPSec)
				October 1st, 2005
			        Barcelona, Spain
			   Held in conjunction with
			11th International Conference on
	  Principles and Practice of Constraint Programming, CP2005
			
		http://www.sci.unich.it/~bista/organizing/cpsec/

======================================================================== 
============
                               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 general.

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



Submissions

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 and
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 length.
We encourage authors to submit papers electronically in postscript or  
pdf format.
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/

and

    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/
    and
    Istituto di Informatica e Telematica
    C.N.R. Pisa, Italy
    Email: stefano.bistarelli at iit.cnr.it

and

    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/

and

    Barry OíSullivan
    Cork Constraint Computation Centre
    University College Cork, Ireland
    and
    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
Giorgio Delzanno -- Dipartimento Informatica e Scienze  
dell'Informazione, Universit‡ di Genova, Italy
Alessandra Di Pierro -- Dipartimento di Informatica, University of  
Pisa, Italy
Fabio Fioravanti -- Universita' degli Studi ìG. Díannunzioî, Pescara,  
Italy
Simon Foley -- Department of Computer Science University College Cork,  
Ireland
Thom Fruehwirth -- Faculty of Computer Science, University of Ulm,  
Germany
John Herbert -- Department of Computer Science University College Cork,  
Ireland
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, Sweden
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

-----------------
Fred Spiessens
Researcher Software Security
Université catholique de Louvain
Louvain-la-Neuve
Belgium
fsp at info.ucl.ac.be
http://www.info.ucl.ac.be/people/fsp/fred.html