CFP: Workshop on Foundations of Computer Security (FCS 2015)

[Apologies for the cross-posting]

=========================
CALL FOR PAPERS
Workshop on Foundations of Computer Security (FCS 2015)
13 July 2015, Verona, Italy

http://software.imdea.org/~bkoepf/FCS15/

Affiliated with IEEE CSF 2015 

=========================

INVITED SPEAKER

Dominique Unruh, University of Tartu


IMPORTANT DATES

Submission:                     April 10, 2015
Notification of acceptance:     May 29, 2015
Workshop:                       July 13, 2015


BACKGROUND, AIM AND SCOPE

Computer security is an established field of both theoretical and
practical significance. In recent years, there has been sustained
interest in the formal foundations of various methods used in computer
security. The aim of the FCS 2015 workshop is to provide a forum for
continued activity in this area. 

The scope of FCS 2015 includes, but is not limited to, the formal
specification, analysis, and design of cryptographic protocols and
their applications; the formal definition of various aspects of
security such as access control mechanisms, mobile code security and
denial-of-service attacks; the modeling of information flow and its
application to confidentiality policies, system composition, and
covert channel analysis.

We are interested both in new theoretical results in computer security
and also in more exploratory presentations that examine open questions
and raise fundamental concerns about existing theories, as well as in
new results on developing and applying automated reasoning techniques
and tools for the formal specification and analysis of security
protocols. We thus solicit submission of papers both on mature work
and on work in progress.


SUBMISSION

All submissions will be peer-reviewed. Authors of accepted papers must
guarantee that their paper will be presented at the workshop.

FCS 2015 welcomes two kinds of submissions:
 * short abstracts (1 page, including references and appendices), and
 * full papers (at most 12 pages, excluding references and well-marked 
   appendices).

Short abstracts will receive as rigorous a review as full
papers. Short abstracts may receive shorter talk slots at the workshop
than full papers, depending on the number of accepted
submissions. Papers should be submitted using the two-column IEEE
Proceedings style available for various document preparation systems
at the IEEE Conference Publishing Services page:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html

Authors are invited to submit their papers electronically in portable
document format (pdf); please do not send files formatted for word
processing packages (e.g., Microsoft Word or WordPerfect files).
Papers must be submitted at the following site:
https://easychair.org/conferences/?conf=fcs2015


INFORMAL PROCEEDINGS

FCS has no published proceedings. Presenting a paper at the workshop
should not preclude submission to or publication in other
venues. Papers presented at the workshop will be made publicly
available, but this will not constitute an official proceedings.


PROGRAM COMMITTEE

June Andronick (NICTA and UNSW, Australia)
Michele Boreale (Università de Firenze, Italy)
Konstantinos Chatzikokolakis (École Polytechnique, France)
Christos Dimoulas (Harvard University, USA)
Marco Gaboardi (University of Dundee, UK)
Deepak Garg (Max Planck Institute for Software Systems, Germany, co-chair)
William Harris (Georgia Institute of Technology, USA)
Aniket Kate (Saarland University, Germany)
Boris Köpf (IMDEA Software Institute, Spain, co-chair)
Steve Kremer (INRIA Nancy - Grand Est, France)
Stephen McCamant (University of Minnesota, USA)
Santosh Nagarakatte (Rutgers University, USA)
Willard Rafnsson (Carnegie Mellon University, USA)
Benedikt Schmidt (IMDEA Software Institute, Spain)
Christoph Sprenger (ETH Zurich, Switzerland)
Deian Stefan (Stanford University, USA)
Tomasz Truderung (University of Trier, Germany)
Luca Viganò (King's College London, UK)
_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk