[Haskell] CPSec workshop extended deadline!

Stefano Bistarelli stefano.bistarelli at iit.cnr.it
Tue Jun 20 07:36:04 EDT 2006


                    Call for Papers: CPSec 2006
                   2nd International Workshop on
                         Applications of
               Constraint Satisfaction and Programming
                      Computer Security
                      September 25, 2006
                        Nantes, France

                     Held in conjunction with
                 12th International Conference on
      Principles and Practice of Constraint Programming, CP2006


Constraint Satisfaction and Programming is emerging as an effective
and 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):

Access Control           Database Security    Security Trade-offs
Information Flow         Integrity            Configuration Management
Security Models          Reliability          Security Protocols
Intrusion Detection     Applications         Risk Analysis
Trust                    Software Security    Trust Negotiation


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
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. At least one author of each accepted submission  must
attend the
workshop,  and  all  participants  must  pay  the  workshop  fee.

Please send your submissions by email to
stefano.bistarelli at iit.cnr.it using the
subject line "cpsec-2006 Workshop Submission".

Important Dates

Paper Submission deadline:  July 1 (extended deadline)
Notification of acceptance: July 22th
Early registration deadline: August 1st
Camera-ready version deadline: August 5th
Workshop Date: September 25, 2006.

Workshop Organizers:

    Giampaolo Bella (Universit`a di Catania, Italy)
    Stefano Bistarelli (Università degli studi "G. D'Annunzio" di
                        Chieti-Pescara & C.N.R. Pisa, Italy)
    Simon Foley (University College Cork, Ireland)
    Fred Spiessens (University College Cork, Ireland)

Program Committee:

Giampaolo Bella, Catania                   Fabio Martinelli, CNR
Stefano Bistarelli, Pescara and CNR        Barry O'Sullivan, Cork
Yannick Chevalier, IRIT                    Justin Pearson, Uppsala
Giorgio Delzanno, Genova                   Michael Rusinowich, LORIA
Alessandra Di Pierro, Pisa                 Fred Spiessens, Cork
Fabio Fioravanti, Pescara,                 Vitaly Shmatikov, Texas
Simon Foley, Cork                          Frank D. Valencia, CNRS
John Herbert, Cork                         Luca Vigano, Zurich
Ralf Küsters, Kiel                         Duminda Wijesekera, GMU
                                            Herbert Wiklicky, Imperial

More information about the Haskell mailing list