Security and reliability is an interdisciplinary area, drawing from several fields: mathematics (number theory, statistics, logic), computer science (algorithms, information theory, cryptology, formal methods, computational complexity, software engineering ), electrical engineering (electronics, signal acquisition and processing, secure hardware design), management (security and quality policies, risk assessment) and social aspects (security awareness, ethical and legal issues, privacy).
The university of Luxembourg has picked up security and reliability as the first of its seven strategic priorities, since then known as P1.
The objective of the Luxembourg day on security and reliability is to increase scientific interaction at the national and regional level. The workshop should be a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. It focuses on Luxembourg and Grande Region, but is open to submissions and participation to the whole scientific community on security and reliability.
SCOPE OF THE WORKSHOP
Topics of interest include, but are not limited to:
- information security and cryptology;
- communication and network security;
- building of secure and reliable software systems;
- formal methods in security and reliability (including logic-based representation models and inference algorithms);
- access control;
- security and privacy policies;
- electronic contracts (including service level agreements and digital media licenses);
- electronic voting;
- digital rights management;
- data mining for security and privacy;
- risk management and business processes;
- regulatory compliance.
Papers covering multiple topics are encouraged. For example, network security uses certain primitives provided by cryptography, and formal verification can be used to prove the correctness of complex network security protocols.
Prospective authors are encouraged to submit a paper following the IEEE Computer Society Proceedings Manuscripts style at http://www.computer.org/portal/site/cscps/index.jsp (INFORMATION FOR AUTHORS) and using LaTeX: two columns, single-spaced, including figures and references, using 10 size fonts, and numbering each page.
The papers are classified into 2 categories (1) regular papers (8 pages), (2) posters (1 page). The submitted paper should begin with a title, a short abstract, and a list of keywords. Submissions must be made electronically through http://www.easychair.org/conferences/?conf=p1day09.
The workshop will not have formal proceedings, hence papers submitted to P1Day 2009 can be submitted to other places, and they may even already have appeared or been accepted elsewhere.
- January 1, 2009 Submission deadline (extended).
January 12, 2009January 15, 2009 Notification of acceptance (extended).
- January 21, 2009 Camera-ready version.
- January 30, 2009 Registration deadline.
- February 10, 2009 Workshop
- Michael Backes, Saarland University, Germany
- André Adelsbach, Telindus, Luxembourg
- Alex Biryukov, University of Luxembourg, Luxembourg
- Pascal Bouvry, University of Luxembourg, Luxembourg
- Eric Dubois, CRP Henri Tudor, Luxembourg
- Alexandre Dulaunoy, SES ASTRA, Luxembourg
- Thomas Engel, University of Luxembourg, Luxembourg
- Nicolas Guelfi, University of Luxembourg, Luxembourg
- Ralf Küsters, University of Trier, Germany
- Sjouke Mauw (co-chair), University of Luxembourg, Luxembourg
- David Naccache, Pantheon-Assas Paris II University, France
- Björn Ottersten, Royal Institute of Technology, Sweden
- Michaël Rusinowitch, LORIA-INRIA, France
- Peter Ryan, University of Newcastle-upon-Tyne, UK
- Leon van der Torre (co-chair), University of Luxembourg, Luxembourg
- Bernabe Dorronsoro, University of Luxembourg, Luxembourg
- Ragga Eyjolfsdottir, University of Luxembourg, Luxembourg
- Jun Pang (chair), University of Luxembourg, Luxembourg
- Emil Weydert, University of Luxembourg, Luxembourg
E-mail: jun.pang at uni.lu