[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [ESSOS] ESSoS Doctoral Symposium 2013

Call for papers Doctoral Symposium


The ESSoS Doctoral Symposium 2013 will be held in Paris (Rocquencourt), France on Wednesday, February 27, 2013 in conjunction with the ESSoS

2013 Symposium.


Following the aim of the ESSoS-DS past edition, the scope of the current event will be focused on providing PhD students an opportunity to discuss their research in Engineering Secure Software and Systems

(ESSoS) in an international forum, and with a panel of well-known experts in the field.

Students will have the occasion to discuss, in a welcoming and informal atmosphere, the goals already achieved or planned, the research challenges they are interested in,  the projects they are working on, the facilities they are developing, the problems they want to solve in their doctoral work. During the Doctoral Symposium students will receive useful feedbacks from senior researchers, industrial partners and experts. It will be as well a good opportunity for meeting and sharing experiences with other PhD students addressing similar topics or at a similar stage in their doctoral work. This way the students will obtain guidance both on the academic content of their current work and regarding the potential future research trajectories.

PhD students carrying out research in Engineering Secure Software and Systems are invited to submit a position paper to the PhD Symposium.

Papers will be peer-reviewed by the Symposium's program committee members. The criteria used for accepting a paper include potential quality of the research, contribution of the work to the ESSoS field, originality of the work, and overall quality of the position paper.


PhD proposals fitting to the ESSoS conference topics are especially encouraged. This includes a diversity of topics such as but not limited to:


    scalable techniques for threat modeling and analysis of vulnerabilities

    specification and management of security requirements and policies

    security architecture and design for software and systems

    model checking for security

    specification formalisms for security artifacts

    verification techniques for security properties

    systematic support for security best practices

    security testing

    security assurance cases

    programming paradigms, models and DSL's for security

    program rewriting techniques

    processes for the development of secure software and systems

    security-oriented software reconfiguration and evolution

    security measurement

    automated development

    trade-off between security and other non-functional requirements

    support for assurance, certification and accreditation




Accepted position papers will be presented during the ESSOS 2013 Doctoral Symposium and will be published at the NESSoS website. We intend to publish the proceedings of the Doctoral Symposium as a CEUR online publication (ISSN 1613-0073).



Submission instructions

Position papers have to fulfill the following requirements.


    Length: five to six pages

    Format: Submissions should be formatted according to the LNCS guidelines.


            author's name


            an abstract (maximum 200 words)

            the name of the student's PhD supervisor(s)

            the problem(s) that the proposed research is going to solve, and the motivation for solving them

            the aims and objectives of the proposed research

            the research methodology to be used to achieve the research goals, including a brief description of the work done to date and a tentative research plan for future work

            the main contribution(s) of the research to the field of Engineering Secure Software and Systems

    Submission place: Authors should use the Doctoral Symposium Submission site at EasyChair for the submission of their manuscripts



Important Dates

Paper submission deadline: December  16

Notification of Acceptance: January 14

Camera Ready Version: January 25


Doctoral Symposium Chairs


    Maritta Heisel, Universität Duisburg-Essen, Germany

    Eda Marchetti, CNR-ISTI, Pisa, Italy




Doctoral Symposium PC members


    Benoit Baudry, IRISA – INRIA, Rennes, France

    Ruth Breu, University Innsbruck, Innsbruck, Austria

    Jorge Cuellar, Siemens AG, München, Germany

    Sandro Etalle, Technical University of Eindhoven, Eindhoven, Netherlands

    Wouter Joosen,  DistriNet Research Group KU, Leuven, Belgium

    Nora Koch, Ludwig-Maximilians-Universität München, München, Germany

    Yves Le Traon, University of Luxembourg,  Luxembourg, Luxembourg

    Javier Lopez, Universidad de Malaga, Spain

    Fabio Martinelli, IIT-CNR, Pisa, Italy

    Fabio Masacci, Università di Trento, Trento, Italy

    Aljosa Pasic, Atos Origin, Madrid, Spain

    Joachim Posegga, Passau University, Passau, Germany

    Michaël Rusinowitch, LORIA-INRIA, Villers les Nancy, France

    Christoph Sprenger, ETH Zurich, Switzerland

    Ketil Stolen, SINTEF, Norway

    Yijun Yu, Open University,  Milton Keynes,  United Kingd