FCS 2015
Workshop on
Foundations of Computer Security
Computer
security is an established field of computer science of both
theoretical and practical significance. In recent years, there has
been sustained interest in logic-based foundations for various methods
in computer security, including 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; and the modeling of information flow and its application to
confidentiality policies, system composition, and covert channel
analysis. The aim of the FCS 2015 workshop is to provide a forum for
continued activity in this area.
We are interested both in new
results in theories of 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 submissions of papers both on mature work
and on work in progress.
Possible topics include, but are not limited to:
Automated
reasoning techniques
Composition issues
Formal specification
Foundations of verification
Information flow analysis
Language-based security
Logic-based design
Program transformation
Security models
Static analysis
Statistical methods
Tools
Trust management |
for
|
Access
control and resource
usage control
Authentication
Availability and denial of service
Covert channels
Confidentiality
Integrity and privacy
Intrusion detection
Malicious code
Mobile code
Mutual distrust
Privacy
Security policies
Security protocols |
All submissions will be
peer-reviewed. Authors of accepted
papers must
guarantee that their paper will be presented at the workshop.
Invited speakers
Dominique Unruh (University of Tartu)
Registration is via the CSF registration web site. Participation to the workshop is open to anybody willing to register. The early registration deadline is June 14.
FCS '15 welcomes two kinds of submissions
- short abstracts (1 page, including references and appendices)
- full papers (at most 12 pages, excluding
references and well-marked appendices)
Short abstracts will receive as rigorous review as do full papers.
Short abstracts may receive shorter talk slots at the workshop than do
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.
The cover page should include title, names of authors, co-ordinates of
the corresponding author, an abstract, and a list of
keywords. Committee members are not required to read appendices, so the paper must be intelligible without them. Papers not adhering to the page limits will be rejected without consideration of their merits.
Authors are invited to submit their papers electronically, as portable
document format (pdf) via the
Please, do not send files formatted for word processing packages
(e.g., Microsoft Word or WordPerfect files).
Submission: |
April 17, 2015 (extended!)
|
Notification of acceptance: | May 29, 2015 |
Final papers: | June 26, 2015 |
Workshop:
| July 13, 2015 |
The workshop has no published
proceedings. Presenting a paper at the workshop should not preclude
submission to or publication in other venues.
The papers presented at the workshop are available through the links in the program
and in compiled form, but this does not constitute an official proceedings.
- 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)
Contact
To reach the PC chairs, send email to
fcs2015@easychair.org
Previous editions
Last modified on Apr 7, 2015.