[Apologies if you receive multiple copies of this message]
CALL FOR PAPERS
1st International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection ReSA4CI 2014
co-located with SAFECOMP 2014
September 9th, 2014, Florence, Italy
This workshop aims at providing a forum for researchers and engineers in academia and industry to foster an exchange of research results, experiences, and products in the area of reliable, dependable and secure computing for critical systems protection from both a theoretical and practical perspective. Its ultimate goal is to envision new trends and ideas about aspects of designing, implementing, and evaluating reliable and secure solutions for the next generation critical infrastructures. Critical Infrastructures present several challenges in the fields of distributed systems, dependability and security methods and approaches crucial for improving trustworthiness on ICT facilities. The workshop aims at presenting the advancement on the state of art in these fields and spreading their adoption in several scenarios involving main infrastructures for modern society.
Topics of interest are (but not limited to):
• Model-based and experimental assessment of safety, reliability and security
• Security & Privacy
• Quantitative analysis of dependability and security metrics
• Risk Assessment and Management
• Fault tolerant and Dependable Distributed Algorithm
• Threat Analysis
• Monitoring systems
• Adaptive solutions for secure and safe systems
• Self-* solutions
Domains of application are (but not limited to):
• Critical infrastructure, Smart Grid, and SCADA systems
• Medical device and healthcare
• Telecommunication and networks
• Railways, automotive, aerospace, and avionics
• Defence, cyber intelligence
Silvia Bonomi, University of Rome La Sapienza, Italy
Ilaria Matteucci, IIT-CNR, Italy
Valentina Bonfiglio, University of Florence, Italy
Silvia Bonomi, University of Rome La Sapienza, Italy (co-chair)
Felicita Di Giandomenico, ISTI-CNR, Italy
Karama Kanoun, LAAS, France
Ilaria Matteucci, IIT-CNR, Italy (co-chair)
Alessia Milani, University of Bordeaux, France
Simin Nadjm-Tehrani, Linköping University, Sweden
Federica Paci, University of Trento, Italy
Marta Patino Martinez, Technical University of Madrid, Spain
Marinella Petrocchi, IIT-CNR, Italy
Maria Gradinariu Potop-Butucaru, UPMC Paris 6, France
Sara Tucci Piergiovanni, CEA, France
Submission deadline: May 20, 2014
Acceptance notification: June 20, 2014
Camera-ready copy due: July 1, 2014
Submitted papers must be written in English and each papers must contain results that have not previously appeared and have not been concurrently submitted to a journal or conference with published proceedings.
In all cases, any partial overlap with any published or concurrently submitted paper must be clearly indicated.
Submissions are limited to 10 pages in the LNCS format. Additional details maybe included in a clearly marked appendix that will be read at the discretion of
the PC. The papers must be submitted electronically following the instructions at http://www.safecomp2014.unifi.it/resa4ci/.
The selection of contributions to be presented at the conference and published in the proceedings will be based on peer-review by the Programm Committee.
Accepted paper will be published in the Springer's Lecture Notes in Computer Science series jointly with the SAFECOMP 2014 proceedings.
It is required that each accepted paper be presented at the workshop by one of its authors.
Authors of accepted papers are required to submit the final, camera-ready versions of their papers (in LNCS format), including
an electronic version as specified in the authors' instructions.
Fixed Term Assistant Professor
Ph.D. in Computer Engineering
Università degli studi di Roma "La Sapienza"
Dipartimento di Informatica e Sistemistica "Antonio Ruberti"
Via Ariosto 25 (1st floor, room B109)
I-00185 Roma, Italy
tel. : +39 0677274017
fax : +39 0677274002
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)