Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Second Call for Presentations: PriSC 2021 @ PO...

view this post on Zulip Email Gateway (Oct 28 2020 at 09:23):

From: PriSC PC Chairs <>
(Apologies if you're getting this email multiple times.)

Short version: PriSC is a fun, welcoming and exciting venue. Share updates,
ideas, thoughts or send students for a friendly gathering that may lead to
future collaborations and ideas. Submit now!

All details are on the PriSC site
<> and in this email.

Call for Presentations: PriSC 2021 @ POPL 2021

The emerging field of secure compilation aims to preserve security
properties of programs when they have been compiled to low-level
languages such as assembly, where high-level abstractions don’t exist,
and unsafe, unexpected interactions with libraries, other programs,
the operating system and even the hardware are possible. For unsafe
source languages like C, secure compilation requires careful handling
of undefined source-language behavior (like buffer overflows and
double frees). Formally, secure compilation aims to protect high-level
language abstractions in compiled code, even against adversarial
low-level contexts, thus enabling sound reasoning about security in
the source language. A complementary goal is to keep the compiled code
efficient, often leveraging new hardware security features and
advances in compiler design. Other necessary components are
identifying and formalizing properties that secure compilers must
possess, devising efficient security mechanisms (both software and
hardware), and developing effective verification and proof techniques.
Research in the field thus puts together advances in compiler design,
programming languages, systems security, verification, and computer

5th Workshop on Principles of Secure Compilation (PriSC 2021)

The Workshop on Principles of Secure Compilation (PriSC) is a
relatively new, informal 1-day workshop without any proceedings. The
goal is to bring together researchers interested in secure compilation
and to identify interesting research directions and open challenges.
The 5th edition of PriSC will be held on January 17 online,
together with the ACM SIGPLAN Symposium on Principles of
Programming Languages (POPL), 2021.

Important Dates

Presentation Proposals and Attending the Workshop

Anyone interested in presenting at the workshop should submit an
extended abstract (up to 2 pages, details below) covering past,
ongoing, or future work. 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. Presentations that provide a
useful outside view or challenge the community are also welcome. This
includes presentations on new attack vectors such as
microarchitectural side-channels, whose defenses could benefit from
compiler techniques.

Specific topics of interest include but are not limited to:

Guidelines for Submitting Extended Abstracts

Extended abstracts should be submitted in PDF format and not exceed 2
pages (references not including). They should be formatted in
two-column layout, 10pt font, and be printable on A4 and US Letter
sized paper. We recommend using the new acmart LaTeX style in sigplan

Submissions are not anonymous and should provide sufficient detail to
be assessed by the program committee. Presentation at the workshop
does not preclude publication elsewhere.

Contact and More Information

You can find more information on the workshop website:

For questions please contact the workshop chairs, Jonathan Protzenko
and Deian Stefan.

Last updated: Jul 15 2022 at 23:21 UTC