The Coq mailing list

["Mansky, William Ernest" <mansky1 AT uic.edu>]

Call for Papers - Workshop on Foundations of Computer Security (FCS) 2019 
URL: http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/

Co-located with CSF'19 (https://web.stevens.edu/csf2019/index.html) 

* Important dates

Submissions for full papers:    April 22nd 2019 (AOE)
Notification of acceptance:     May 6th 2019 (AOE)
Deadline for short papers (5 to 10 minutes, 1 page abstract):   May 17th 2019
Notification for short talks:   May 31st 2019


* Scope

FCS 2019 welcomes papers on all topics related to the formal underpinnings of 
security and privacy, and their applications. The scope of FCS 2019 includes, 
but is not limited to, formal specification, analysis, and design of 
cryptographic protocols and their applications; formal definitions of various 
aspects of security such as access control mechanisms, mobile code security 
and denial-of-service attacks; modeling of information flow and its 
application to confidentiality policies, system composition, and covert 
channel analysis; foundations of privacy; applications of formal techniques 
to practical security and privacy.

We are interested in new theoretical results, in exploratory presentations 
that examine open questions and raise fundamental concerns about existing 
theories, and in the development of security/privacy tools using formal 
techniques. Demonstrations of tools based on formal techniques are welcome, 
as long as the demonstrations can be carried out on a standard digital 
projector (i.e., without any specialized equipment). We solicit the 
submission of both mature work and work in progress.

* Submissions

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

All submissions will be peer-reviewed by the program committee listed below. 
Authors of accepted papers must guarantee that their papers will be presented 
at the workshop. Extended abstracts will receive as rigorous a review as full 
papers. Extended abstracts may receive shorter talk slots at the workshop 
than full papers, depending on the number of accepted submissions. See 
http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/ for full details 
about the submission process. 

* Proceedings 

The workshop has no published proceedings. Presenting a paper at the workshop 
should not preclude submission to or publication in other venues (before, 
after or concurrently with FCS 2019). Papers presented at the workshop will 
be made available to workshop participants, but this does not constitute an 
official proceedings.

Elaine Shi and Charles Morisset (FCS 2019 PC Chairs)
------------------------------------------------------------------------------------------------------------