[TYPES/announce] Call for Papers [Extended]: JFP Special Issue on Secure Compilation

[Dominique Devriese]

We invite submissions to the Journal of Functional Programming Special
Issue on Secure Compilation.
Submission deadlines have been extended because of the Corona pandemic.
If authors have been heavily disrupted by the COVID-19 crisis, we are
willing to consider an additional exceptional deadline extension.
Please contact the special issue editors directly if you are in this
situation.

JFP Special Issue on Secure Compilation

DEADLINES

Submission deadline (extended): 1 September 2020
Expected first round of reviews (extended): 10 January 2021
Expected publication date (extended): October 2021

SCOPE

Any topic that could be of interest to secure compilation is in scope.
Secure compilation should be interpreted very broadly to include any work
in security, programming languages, architecture, systems or their
combination that can be leveraged to preserve security properties of
programs when they are compiled or to eliminate low-level vulnerabilities.
Papers that provide a useful outside view or challenge the community are
also welcome.
This includes papers on new attack vectors such as microarchitectural
side-channels, whose defenses could benefit from compiler techniques.

TOPICS

Specific topics of interest include but are not limited to:

*  Attacker models for secure compiler chains.
*  Secure compiler properties: fully abstract compilation and similar
properties, memory safety, control-flow integrity, preservation of safety,
information flow and other (hyper-)properties against adversarial contexts,
secure multi-language interoperability.
*  Secure interaction between different programming languages: foreign
function interfaces, gradual types, securely combining different memory
management strategies.
*  Enforcement mechanisms and low-level security primitives: static
checking, program verification, typed assembly languages, reference
monitoring, program rewriting, software-based isolation/hiding techniques
(SFI, crypto-based, randomization-based, OS/hypervisor-based),
security-oriented architectural features such as Intel’s SGX, MPX and MPK,
capability machines, side-channel defenses, object capabilities.
*  Experimental evaluation and applications of secure compilers.
*  Proof methods relevant to compilation: (bi)simulation, logical
relations, game semantics, trace semantics, multi-language semantics,
embedded interpreters.
*  Formal verification of secure compilation chains (protection mechanisms,
compilers, linkers, loaders), machine-checked proofs, translation
validation, property-based testing.

We invite authors from across the above spectrum.
Papers will be reviewed as regular JFP submissions, and acceptance in the
special issue will be based on both JFP's quality standards and relevance
to the theme.

The special issue will also consider high-quality papers on secure
compilation which are not traditional "research-result" papers.
This may include pearls, surveys, tutorial papers or educational papers,
which will be judged by the JFP standards for such submissions.
Prospective authors of such papers *must* soundboard their idea with the
special editors early on in the process, at least two months before
submission.

NOTIFICATION OF INTENT

Authors must notify the special-issue editors of their intent to submit by
the deadline marked above.
This will help us to speed up the review process.
The notification of intent should be submitted by filling out the following
web form which asks for data needed to identify suitable reviewers:
https://forms.gle/F8AG4D9cQBKpVB6f9
If you miss the notification of intent deadline, but still want to submit,
please contact the special issue editors.

SUBMISSIONS

Full-length, archival-quality submissions are solicited on all aspects of
secure compilation.
Submissions should be sent through the JFP Manuscript Central system.
Choose “Secure Compilation” as the paper type, so that it gets assigned to
the special issue.
Submissions that are based on previously-published conference or workshop
papers must clearly describe the relationship with the initial publication,
and must differ sufficiently that the author can assign copyright to
Cambridge University Press.
Prospective authors are welcome to discuss such submissions with the
editors to ensure compliance with this policy.

For detailed instructions regarding layout and submission, please see the
JFP advice to authors and instructions for contributors.

SPECIAL-ISSUE EDITORS

Dominique Devriese (dominique.devriese at vub.be)
Gilles Barthe (gjbarthe at gmail.com)

You can contact both editors at seccompjfp20 at gmail.com.

Link to CFP:
https://www.cambridge.org/core/news/jfp-special-issue-on-secure-compilation
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200403/fcf5a253/attachment-0001.html>