[TYPES/announce] WOCSD: Call for Papers

Marcel Kyas marcel.kyas at fu-berlin.de
Thu Jun 16 17:05:31 EDT 2011

[ Apologies if you receive more than one copy of this CFP.  Please
   share it with students and colleagues who may be interested. ]

Workshop on Overcoming Challenges for Security and Dependability

26 August 2011, Oslo, Norway

Call for Papers

Affiliated with FCT 2011


Today, designers of computing systems face major challenges in
building resilient and secure computing systems. We observe three
trends. First, attackers organize themselves and increase their
funding and resources. Consequently, their chances of success is
increasing tremendously. Second, software was generally not designed
to defend against attacks but to perform their function reasonably
well. Software quality is decreasing, because its complexity is
increasing, necessitated by increasing complexity of their
requirements. Third, devices within computers became programmable,
opening up new opportunities for attackers to compromise systems.

The aim of this workshop is to bring together practitioners and
researchers from academia, industry and government to discuss
approaches for:

     * How to decrease software complexity and specification
       complexity to increase resilience and security
     * How to ensure correctness, safety, dependability and
       security of computer systems
     * How to certify software for todays heterogeneous
       computer platforms

Topics of interest include, but are not limited to, the following areas:

     * Formalisms for expressing safety, security and dependability
     * Methods for software certification
     * Models to express and analyze safety and security
     * Trade-off analysis
     * Methods and Tools for qualitative and quantitative analysis of
       security and dependability
     * Methods and tools for integrating software certification into
       design, implementation and validation processes
     * Experimental studies of system security and dependability
     * Case studies of qualitative and quantitative security and
       dependability evaluation
     * Secure and dependable protocols, embedded systems and networks
     * Formal and informal models and methods for human interaction and
       risks associated with social engineering

Important Dates
  1 July 2011	Submissions due
15 July 2011	Notification of acceptance
26 August 2011	Workshop


Submissions must be original work and not been published or submitted
elsewhere, including but not limited to extended abstracts or extended
versions of the work in other proceedings or journals.

Submissions should be no longer than 6 pages, formatted in LaTeX using
the eptcs macro package <http://style.eptcs.org>. Please submit your
abstract at <https://www.easychair.org/account/signin.cgi?conf=wocsd2011>.
A technical report containing all accepted contributions will be made
available at the event.

Presenters will be invited to submit an extended version that integrates
results of the discussion at the workshop. The extended contributions
may be up to 20 pages.  We negotiate with Electronic Proceedings in 
Computer Science <http://www.eptcs.org> for publishing post proceedings.

Program Committee

      * Allesandro Aldini, University of Bologna, Italy
      * Marcel Kyas, Freie Universität Berlin, Germany
      * Dusko Pavlovic, Royal Holloway University of London, UK
      * Volker Roth, Freie Universität Berlin, Germany
      * Nigel Thomas, Newcastle University, UK
      * Katinka Wolter, Freie Universität Berlin, Germany
      * Stephen Wolthusen, Royal Holloway University of London, UK
        and Gjøvik University College, Norway


      * Marcel Kyas, Freie Universität Berlin, Germany
      * Volker Roth, Freie Universität Berlin, Germany
      * Katinka Wolter, Freie Universität Berlin, Germany

Prof. Dr. Marcel Kyas, Freie Universität Berlin, Institut für
Takustr. 9, DE-14195 Berlin, Germany
Tel.: +49 30 838 75141               Fax.: +49 30 838 75194
WWW: http://cst.mi.fu-berlin.de/staff/kyas.html

More information about the Types-announce mailing list