From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 39C0A5D6 for ; Tue, 5 Oct 2021 20:45:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="532244747" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Oct 2021 22:45:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F37D0E019F; Tue, 5 Oct 2021 22:45:29 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BA141E010C for ; Tue, 5 Oct 2021 22:45:27 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonathan.protzenko@gmail.com; spf=Pass smtp.mailfrom=jonathan.protzenko@gmail.com; spf=None smtp.helo=postmaster@mail-pj1-f49.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AZqY5LB9Ghw9isf9uWbe8ngc9DxPPW53KNwIYoqA?= =?us-ascii?q?ql6hJOvz6uci4ZAqOvL4w0xfgZsby07p8ke3YsqTtCyQrwK2qlzQ8SqFKTAIPk?= =?us-ascii?q?s4MngYtU4avAEz/K+P2PWRhRJwRHFBq8GumPkdLBc3we0PdomGo7T4VBx7zKRd?= =?us-ascii?q?5Kv76F4LMk8i7zeS/94DcbwhIhje2fK9/IgixoQjNrMcdnJFsKrw2yhvHo3tIf?= =?us-ascii?q?/pZyGZ1Ll+NnBjy+9m98od7/ytfp/wu+chAUb7nf6sjVrxXEC4mM2Eu68L1sxT?= =?us-ascii?q?IUBaC6WEdUmUSlRpIHhTF4RTnVZr/rif2quxw0zScMMbrT747RC6i4r9rRhH1l?= =?us-ascii?q?ikJNDA3/2/YhcNsg6xWuw6hqh9lzoLIfI2YOvhzc6XAdt0aX2pBWcNRWjRFDIO?= =?us-ascii?q?7aYsAFfYBPeZCoIn7ulAAtwG+BQ6wBOLu1DBIgHz23aon2OkmEwHG2wogEMgSs?= =?us-ascii?q?HTUttr1Mr0eUfivzKnP0TXCbu1Z2TH+6IjPaR0hrvSMUqhxccrV00UgCwTFjlC?= =?us-ascii?q?JpIHjIjia2fgDvXKB4Op8SeKglXQnqwdprzWv28oihYnHiIwLx17E6Ch03Jg4K?= =?us-ascii?q?926RUN6YdCoDZVdui6aOYV5Qs4vTG5ltiYkx7AIuZO2fzQHxYg7yxLDZPKKdZW?= =?us-ascii?q?D7BzkVOaUOzh4hXRldaqkhxaz/kig0un8WdOy0FpQqSpFiNbMumgN1xzU9siIV?= =?us-ascii?q?uF9/l+71TmT0ADT7+dJKl03m6rDM5Mt3KI8m54JvUnAHiL6glv6gLKXe0k+9eW?= =?us-ascii?q?l7/zrb7Tkq5OGKoN5iB3yPr4zlsCjAek0KBUCU3aG9em6ybbt51f2QK9Qgf0zi?= =?us-ascii?q?qTZsI7VJcAcpqOhBg9ayIcj6xKmAze+0tQUgGALLFxKdR+DlYTpNFbOIPf3Dfe?= =?us-ascii?q?7nVugiitkx/fDPrH5A5XNKGbMkKv5cLpj90JRzBA/wNNf6p5OFL0NPfP+VlX+u?= =?us-ascii?q?dHcFhM5Nha7w+fjCNVzzIMeXmePD7ebMKPVt1+H/P4vI+mWa48Tojr9M+Il5/n?= =?us-ascii?q?yjX44h1Ade6qp3ZwMZXC3G/RpOUSZYX72jtgdFmcKuxIyTPb2h12aTT5Te3GyU?= =?us-ascii?q?rog6T4hDYKmCZ7PRoSsgLyawCe2BYZWZ2BDClCUC3jkbYSEW/EWaCKTOMBtiDI?= =?us-ascii?q?EVaLyA7MmgBqnsQu/z7t8MsLV/DcZvNTtzotb/erWwDM18zVoD82bm1mXSH1mk?= =?us-ascii?q?2ULQHdi3qd5qFB9w1HFybJ/n+5VE99Uz/xMWwY+c5XbyropWJjJRgvdc4LRGx6?= =?us-ascii?q?dSdK8DGRpJjrU69ALakd5Xd6li0Kbt8JFK7AQnr2PQpcz9/CFt5AQD8N0ynKDz?= =?us-ascii?q?Kt4yld6E41AMmqpgqM5/A/WVdahrg=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AGwdtZaPM2Qr6vMBcThKjsMiBIKoaSvp033AA?= =?us-ascii?q?0UdtRRtJNumVkM6ynZ0gpGbJYVcqKRUdcLW7U5VoLkmzyXcY2+gs1NSZLWzbUQ?= =?us-ascii?q?mTXeJfBOLZqlWOJ8S9zJ876U4KSdkdNDSfNzhHZL7BkW+FOudl+v+h0IrtqMX/?= =?us-ascii?q?6zNWbS9MApsL0y5JTjycFU19AC1obKBUKHLJjvArmwad?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BzAgCYahphfzHYVdFQCoEJhHtXa4RHi?= =?us-ascii?q?QSGRYF3LYQbi1mNcwgDAQMBCwEBNQoCBAEBgWyFYgIdBwEENBMBAgQVAQEFAQE?= =?us-ascii?q?BAgEDAwQBEwEBDQsQCDgmhWgNgjUihAQLBg8BBQgBGxYIAxIQBwgCGA4CIwIRA?= =?us-ascii?q?QUBAgwhBgIBARAOgk8BglQBAy8PmFuCHoEEPYlsAoFEgRUFF4EBgggGgUMFgRK?= =?us-ascii?q?CEgoZKA1lA4FXAgEGCQEIJlgqhW6FWYENgUYQgVVEgRUngVWBZ4EEgRyBdwSDQ?= =?us-ascii?q?IJkBIQ+LBRKBikmQgwlDwMDAwULGxsHBRErD44TgxcbKIs6gnCBcppLMS0Hgys?= =?us-ascii?q?FgSwGC4cSgWmOMIVQBg8FJoNlhk+FFIYBkSyGbJtjgzaQIwIED4RwAgoHBhAjE?= =?us-ascii?q?oFCgX1NI4EBgjhQGQ5XjWCDW4UUhWohMjgCBgEKAQEDCWuGQwImB4IYAQE?= X-IPAS-Result: =?us-ascii?q?A0BzAgCYahphfzHYVdFQCoEJhHtXa4RHiQSGRYF3LYQbi1m?= =?us-ascii?q?NcwgDAQMBCwEBNQoCBAEBgWyFYgIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBD?= =?us-ascii?q?QsQCDgmhWgNgjUihAQLBg8BBQgBGxYIAxIQBwgCGA4CIwIRAQUBAgwhBgIBARA?= =?us-ascii?q?Ogk8BglQBAy8PmFuCHoEEPYlsAoFEgRUFF4EBgggGgUMFgRKCEgoZKA1lA4FXA?= =?us-ascii?q?gEGCQEIJlgqhW6FWYENgUYQgVVEgRUngVWBZ4EEgRyBdwSDQIJkBIQ+LBRKBik?= =?us-ascii?q?mQgwlDwMDAwULGxsHBRErD44TgxcbKIs6gnCBcppLMS0HgysFgSwGC4cSgWmOM?= =?us-ascii?q?IVQBg8FJoNlhk+FFIYBkSyGbJtjgzaQIwIED4RwAgoHBhAjEoFCgX1NI4EBgjh?= =?us-ascii?q?QGQ5XjWCDW4UUhWohMjgCBgEKAQEDCWuGQwImB4IYAQE?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="532244724" X-MGA-submission: =?us-ascii?q?MDF5AUt5YNBJr+0VhRgRbqGdBNlu5Qrnq6pXzJ?= =?us-ascii?q?1pOh7coWCzMbiEJa96yTjwd3CuaAPQfzwMjAlTaP0QD7FNK5tFIJuZms?= =?us-ascii?q?+McOvdEHKKBgOC6ozJyzhPwN9IU3LYTxRwNCdFxlpBZNk6CJf2ubVTiX?= =?us-ascii?q?C1Ht1TL23l1C1dMfdwTJYF7Q=3D=3D?= Received: from mail-pj1-f49.google.com ([209.85.216.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Oct 2021 22:45:26 +0200 Received: by mail-pj1-f49.google.com with SMTP id oa6-20020a17090b1bc600b0019ffc4b9c51so2874256pjb.2 for ; Tue, 05 Oct 2021 13:45:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:subject:to:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=MzmlqIX2Lf06jmr9u/oDnepjFSpKwN2ZdJ6n+DWn978=; b=ZtX2jTJyqeKmrfIrpIUM/nqDSxoL9F1oR/UGru8YIyXqV/HEaIpF2A05e8WWQnplyB ltnSGxlKhbYM71rday7Y6hl3gjVSid+17eCeaVfvndpzP6A1nGijE1JQ1Jx9Dqd1PHMd 4svtnf5NjP221BHXOOP1Vq90IZbJepvwyQgtsisLaket+SydrxWqXoO54OkDfJIWX0hq hDGdgXQ2PDGXzShiCUqOktExLoiwgqyBrhuEO0eafGqkyv6/Xnn59X3fuv7UQoZTaHd7 pyLMW9mcK1z8YsiUvddgNr/adDvSzKeLWe6NY2Hb03cmB1ydg8ypqOaTi+jVeNGwI9PS WBpg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=MzmlqIX2Lf06jmr9u/oDnepjFSpKwN2ZdJ6n+DWn978=; b=lGjeUt8GqQy5uKxikpIMaDamqCEKhhFBQeGxJQRlTW7luGbWp1II6jWRvm21KT+Ogh 2Kha2cTZBmVlYkX1eH3STe63QkAT4cGlAd8vGieYP7haylNk8iKJ2CWUfnG9F7DrezME B67alpwrB/8CmbMvHZMXsr+en2Xb/q/VoUUCoHdoED9SLmZNze6VCBkhuL6a84B/MBTm d81Z0britB5zvPBDmkQJ9TyU9ZwjEXTJSn2Z9XxnC5duUDM+lJt+4jdaTNr/XFYbuVuW PhAF7rZWzJwcXmG1mDqzAJ38RANnUO6gYtoZ556PmuFFzyezhM4m38v+a1SA3/xaDc/1 P2NA== X-Gm-Message-State: AOAM5307nnDy4NZcxYKuMilwrEfOMXZ8flqnR1RlLBjOqozC1fP9rMJW q3ORvJjFjewdlrlnRJeZmpD40JtaqXA= X-Google-Smtp-Source: ABdhPJwjp4nk23iZ9ENOovKY87zSm4JeMMJXS4LdxMWwWteS2C8Z9XBVlZQ4yTbY59hnUxD26TjqAw== X-Received: by 2002:a17:902:6ac7:b0:13e:1fec:2bbc with SMTP id i7-20020a1709026ac700b0013e1fec2bbcmr7277178plt.82.1633466723816; Tue, 05 Oct 2021 13:45:23 -0700 (PDT) Received: from absinthe.local (c-67-170-105-121.hsd1.wa.comcast.net. [67.170.105.121]) by smtp.gmail.com with ESMTPSA id s22sm18325234pfe.76.2021.10.05.13.45.23 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 05 Oct 2021 13:45:23 -0700 (PDT) From: Jonathan Protzenko To: caml-list@inria.fr Message-ID: <2fde5961-541c-c697-bd6b-edcb2d845beb@gmail.com> Date: Tue, 5 Oct 2021 13:45:22 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022 Reply-To: Jonathan Protzenko X-Loop: caml-list@inria.fr X-Sequence: 18579 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: All details are on the PriSC site . ================================================ Call for Presentations: PriSC 2022 @ POPL 2022 ================================================ 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 architecture. 6th Workshop on Principles of Secure Compilation (PriSC 2022) ============================================================= 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 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022. We hope to hold the workshop in person with for support for dial-in attendees. Keynote ======= This year's keynote will be "BPF and Spectre: Mitigating transient execution attacks", by Piotr Krysiuk (Symantec, Threat Hunter Team), Benedict Schlüter (Ruhr University Bochum), Daniel Borkmann (Isovalent, co-maintainer eBPF). Important Dates =============== * Thu 28 Oct 2021: Submission Deadline * Thu 18 Nov 2021: Acceptance Notification * Sat 22 Jan 2022: Workshop 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: * 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. 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 mode. 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. Submission website: https://prisc22.hotcrp.com/ Program Committee ================= Owen Arden, UC Santa Cruz Arthur Azevedo de Amorim, Carnegie Mellon University Iulia Bastys, Chalmers University of Technology Roberto Blanco, Max Planck Institute for Security and Privacy Tegan Brennan, Stevens Institute of Technology Matteo Busi, Università di Pisa - Dipartimento di Informatica Sunjay Cauligi, University of California at San Diego Marco Guarnieri, IMDEA Software Institute (co-chair) Armaël Guéneau, Aarhus University Johannes Kinder, Bundeswehr University Munich Adrien Koutsos, INRIA Paris Elisavet Kozyri, Arctic University of Norway Scott Moore, Galois Toby Murray, University of Melbourne Andrew C. Myers, Cornell University David Pichardie, Facebook Jonathan Protzenko, Microsoft Research (co-chair) Christine Rizkallah, UNSW Sydney Zhong Shao, Yale University Éric Tanter, University of Chile Danfeng Zhang, Pennsylvania State University Contact and More Information ============================ You can find more information on the workshop website: https://popl22.sigplan.org/home/prisc-2022 For questions please contact the workshop chairs, Jonathan Protzenko and Marco Guarnieri .