[TYPES/announce] ESSoS Doctoral Symposium: Call for Contributions

Pieter Philippaerts Pieter.Philippaerts at cs.kuleuven.be
Mon Dec 12 10:31:14 EST 2011

The ESSoS Doctoral Symposium 2012 (ESSoS-DS) will be held in Eindhoven,

The Netherlands on Wednesday, February 15, 2012 in conjunction with the

ESSoS 2012 Symposium.


ESSoS-DC 2012 aims at 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. The goal of the Doctoral Symposium is to provide students with a

welcoming atmosphere to present their research and receive useful

feedback from senior researchers. 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



. scalable techniques for threat modeling and analysis of


. 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 2012

Doctoral Symposium and will be published at the NESSoS website.



Position papers have to fulfill the following requirements.

. Length: Position papers must not be longer than four pages.

. Format: Submissions should be formatted according to the LNCS


. Content:

   o author's name

   o affiliation

   o an abstract (maximum 200 words)

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

   o the problem(s) that the proposed research is going to solve, and

     the motivation for solving them

   o the aims and objectives of the proposed research

   o 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

   o 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: January 11

. Notification of Acceptance: January 30

. Camera Ready Version: February 7


More information about this doctoral symposium can be found at



Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20111212/4d9ba0f0/attachment.html>

More information about the Types-announce mailing list