[Prev][Next][Index][Thread]
call for papers SECI'02 Tunis --- deadline extension
Several proof assistants based on type theory (Coq, Isabelle
notably) have been used recently to help in establishing
the security of cryptographic protocols, as well as the
safety of programming environments (e.g., JavaCard firewalls,
Java typing safety in particular). The following call for
papers may therefore be of some interest to the subscribers
of the TYPES mailing-list.
-- Jean.
----------------------------------------------------------------------------
We apologize if you receive multiple copies of this announcement.
----------------------------------------------------------------------------
*------------------------------------------------------*
* *
* SECI 2002 *
* SEPTEMBER, 19-21, 2002, TUNIS, TUNISIA *
* http://www.epita.fr/~seci02/ *
* *
*------------------------------------------------------*
* *
* LAST CALL FOR PAPERS *
* *
* !! PAPER SUBMISSION DEADLINE EXTENDED TO MAY 05 !! *
* *
*------------------------------------------------------*
AIMS and SCOPE
--------------
SECI'02 (SEcurity of Communications on the Internet) is the
first workshop on Internet Communication Security, to be held
in Tunis, Tunisia in September 2002. All aspects of security
on the Internet are covered, notably cryptographic protocols,
intrusion detection, and security policies.
The proceedings of the workshop will be published by INRIA
in the Collection Didactique, and will be available both in
paper form and on the Web.
While original contributions are preferred, authors are allowed
to submit works accepted at SECI'02 to other conferences and
scientific journals.
Full research papers, extended abstracts, reports on work in
progress, as well as poster descriptions are welcome. Submissions
will be judged on technical quality, originality and relevance.
Language is English or French.
IMPORTANT DATES
---------------
May 05, 2002 Paper submission deadline
June 30, 2002 Acceptance notification
July 30, 2002 Final version of accepted papers due
ELECTRONIC SUBMISSIONS
http://www.epita.fr/~seci02/SiteWebAnglais/default.htm
----------------------
INFORMATION mailto:seci02@epita.fr
-----------
TOPICS OF INTEREST
------------------
- Techniques and tools for intrusion detection: scenarios, stochastic
models,
behavioral approaches, immunology, alert correlation.
- Practical security: classification of risks and attacks, access
control.
- Cryptographic essentials: encryption algorithms, pseudo-random
generators,
digital signature.
- New cryptographic protocols and models, relationships between models,
formal
methods, security properties, authentication, secrecy, privacy,
anonymity,
semantics and verification algorithms.
- Applications and experimental evaluation of tools and techniques.
INVITED SPEAKERS
----------------
Frédéric Cuppens, ONERA/DTIM, Toulouse, France
Jean Goubault-Larrecq, LSV/CNRS & ENS Cachan, Cachan, France
Yassine Lakhnech, Verimag, Grenoble, France
Zakia Marrakchi, Supélec Rennes, France
David Samyde/Jean-Jacques Quisquater, UCL Crypto Group,
Louvain-la-Neuve, Belgium
CHAIRS
------
Nabil El Kadhi, Epita, France
Jean Goubault-Larrecq, LSV/CNRS & ENS Cachan, Cachan, France
ORGANIZATION
------------
Chair: Nabil El Kadhi, Epita, France
Supporting organizations:
INRIA, Epitech (France), CCK, SUPCOM, ANCE, ISG (Tunisia)
PROGRAMME COMMITTEE
-------------------
Chair: Jean Goubault-Larrecq, LSV/CNRS & ENS Cachan, Cachan, France
Members:
Noureddine Boudrigua, ANCE, Tunis, Tunisia
Frédéric Cuppens, ONERA/DTIM, Toulouse, France
Nabil El Kadhi, RIADI, Tunis, Tunisia/ EPITECH, Paris, France
Farouk Kamoun, Labo. Cristal, ENSI, Tunis, Tunisia
Yassine Lakhnech, VERIMAG, Grenoble, France
Xavier Leroy, INRIA Rocquencourt, France
Ludovic Mé, Supélec Rennes, France
Rodolphe Ortalo, NEUROCOM Sud-Ouest, Toulouse, France
Lawrence C. Paulson, Cambridge University, UK
David Pointcheval, ENS, Paris, France
Jean-Jacques Quisquater, UCL Crypto Group, Louvain-la-neuve,
Belgium
Peter Selinger, MATHSTAT, Université d'Ottawa, Canada
Sami Tabbanne, SUPCOM, Tunis, Tunisia