[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
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 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
guidelines.
. 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
http://distrinet.cs.kuleuven.be/events/essos/2012/cftut/
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