FCS 2024
2024 Workshop on Foundations of Computer Security
July 8, 2024 – Enschede, The Netherlands
https://fcs-workshop.github.io/fcs2024/

Affiliated with CSF 2024


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 methods used in computer
security. The goals of the 2024 Foundations of Computer Security
workshop (FCS 2024) are twofold. First, we aim to provide a forum for
the discussion of continued research in this area. Second, we wish to
support young researchers in developing long-term connections in the
research community and provide them with access to perspectives from
researchers from other institutions.

To support the first goal, FCS 2024 welcomes papers on all topics
related to the formal underpinnings of security and privacy, and their
applications. FCS 2024 is 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.

Possible topics include, but are not limited to:

{ Automated reasoning
  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 any of

{
  Access & resource usage control
  Authentication
  Availability and denial of service
  Blockchain & consensus protocols
  Covert channels
  Confidentiality
  Integrity
  Intrusion detection
  Machine Learning
  Malicious code
  Mobile code
  Mutual distrust
  Privacy
  Security policies
  Security protocols
}

To support the second goal, FCS 2024 will follow the lead of larger
conferences and our own past success and provide attendees with
mentoring opportunities alongside the research track. In particular,
there will be multiple mentoring sessions throughout the day so junior
researchers can meet and interact with their senior counterparts.
Format

FCS 2024 will be an in-person event, but we reserve the possibility to
broadcast and preset talks via zoom should the need arise.  Program

(To Be Determined in June, 2024)
Important Dates

Paper submission:
May 13, 2024 (AOE)
Author notification:
June 7, 2024
Workshop:
July 8, 2024

Submission

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

FCS 2024 will employ a light form of double-blind reviewing. Submitted
papers must (a) omit any reference to the authors' names or the names
of their institutions, and (b) reference the authors' own related work
in the third person (e.g., not "We build on our previous work ..." but
rather "We build on the work of ..."). Nothing should be done in the
name of anonymity that weakens the submission or makes the job of
reviewing the paper more difficult (e.g., important background
references should not be omitted or anonymized). The author
information will be revealed to the reviewers only after papers have
been accepted. If you have questions, please see the CSF 2018 FAQ
page. When in doubt, contact the program chairs.

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. Short papers will receive the same
rigorous reviews as full papers, but may receive a shorter talk slot
at the workshop, depending on the number of accepted submissions.

Papers may be formatted using a two-column proceedings style accepted
by IEEE, ACM, or USENIX conferences. The first page should include the
paper's title, an abstract, and a list of keywords. Committee members
are not required to read appendices, so papers must be intelligible
without them. Papers not adhering to the page limits may be rejected
without consideration of their merits.

Paper submissions will be done through EasyChair in the PDF
format. The submission website is:
https://easychair.org/conferences/?conf=fcs24.  Informal 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 2024). Papers presented
at the workshop will be made available to workshop participants, but
this does not constitute an official proceedings.  Program Committee
Program Chairs

    Ethan Cecchetti (University of Wisconsin–Madison)
    Marco Vassena (Utrecht University)

Committee

    Mohammad M. Ahmadpanah, Chalmers University of Technology
    Basavesh Ammanaghatta Shivakumar, Virginia Tech
    Xaver Fabian, CISPA Helmholtz Center for Information Security
    Joshua Gancher, Carnegie Mellon University
    Hannah Gommerstadt, Vassar College
    Evan Johnson, UC San Diego
    Elisavet Kozyri, UiT The Arctic University of Norway
    McKenna McCall, Carnegie Mellon University
    Jan Menz, Max Planck Institute for Software Systems
    Hamed Nemati, KTH Royal Institute of Technology
    Nachi Valliappan, Chalmers University of Technology
    Andrew Wagner, Northeastern University

Registration

Registration is done through the main CSF Website. When you register,
you will need to include indicate that you wish to attend the
workshop.