<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Consolas;
panose-1:2 11 6 9 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:10.5pt;
font-family:Consolas;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:Consolas;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=NL-BE link=blue vlink=purple><div class=WordSection1><p class=MsoPlainText><span lang=EN-US>The ESSoS Doctoral Symposium 2012 (ESSoS-DS) will be held in Eindhoven,<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>The Netherlands on Wednesday, February 15, 2012 in conjunction with the<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>ESSoS 2012 Symposium.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>ESSoS-DC 2012 aims at providing PhD students an opportunity to discuss<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>their research in Engineering Secure Software and Systems (ESSoS) in an<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>international forum, and with a panel of well-known experts in the<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>field. The goal of the Doctoral Symposium is to provide students with a<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>welcoming atmosphere to present their research and receive useful<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>feedback from senior researchers. It will be as well a good opportunity<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>for meeting and sharing experiences with other PhD students addressing<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>similar topics or at a similar stage in their doctoral work. This way<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>the students will obtain guidance both on the academic content of their<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>current work and regarding the potential future research trajectories.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>PhD students carrying out research in Engineering Secure Software and<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>Systems are invited to submit a position paper to the PhD Symposium.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>Papers will be peer-reviewed by the Symposium's program committee<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>members. The criteria used for accepting a paper include potential<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>quality of the research, contribution of the work to the ESSoS field,<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>originality of the work, and overall quality of the position paper.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>PhD proposals fitting to the ESSoS conference topics are especially<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>encouraged. This includes a diversity of topics such as but not limited<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>to:<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US> • scalable techniques for threat modeling and analysis of<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> vulnerabilities<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • specification and management of security requirements and policies<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • security architecture and design for software and systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • model checking for security<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • specification formalisms for security artifacts<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • verification techniques for security properties<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • systematic support for security best practices<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • security testing<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • security assurance cases<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • programming paradigms, models and DSL's for security<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • program rewriting techniques<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • processes for the development of secure software and systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • security-oriented software reconfiguration and evolution<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • security measurement<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • automated development<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • trade-off between security and other non-functional requirements<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • support for assurance, certification and accreditation<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>Accepted position papers will be presented during the ESSOS 2012<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>Doctoral Symposium and will be published at the NESSoS website.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>Position papers have to fulfill the following requirements.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • Length: Position papers must not be longer than four pages.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • Format: Submissions should be formatted according to the LNCS<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> guidelines.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • Content:<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o author's name<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o affiliation<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o an abstract (maximum 200 words)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o the name of the student's PhD supervisor(s)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o the problem(s) that the proposed research is going to solve, and<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> the motivation for solving them<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o the aims and objectives of the proposed research<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o the research methodology to be used to achieve the research goals,<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> including a brief description of the work done to date and a<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> tentative research plan for future work<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> o the main contribution(s) of the research to the field of<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> Engineering Secure Software and Systems<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> • Submission place: Authors should use the Doctoral Symposium<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US> Submission site at EasyChair for the submission of their manuscripts<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>Important Dates<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>• Paper submission deadline: January 11<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>• Notification of Acceptance: January 30<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>• Camera Ready Version: February 7<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>More information about this doctoral symposium can be found at<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>http://distrinet.cs.kuleuven.be/events/essos/2012/cftut/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>