[Haskell] Call for Presentations: PriSC 2022 @ POPL 2022

[Jonathan Protzenko]

Apologies if you're getting this email multiple times.

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.

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 

[Haskell] [EDI40-2022] Call for workshop proposals: Conference on Emerging Data and Industry 4.0. Porto, Portugal (March 22-25, 2022)

[Wim Ectors via Haskell]

***

The 5th International Conference on Emerging Data and Industry 4.0 (EDI40)

Porto, Portugal

March 22-25, 2022

***


Conference Website:  http://cs-conferences.acadiau.ca/EDI40-22/

Workshops: http://cs-conferences.acadiau.ca/EDI40-22/#workshop


Important Dates

 - Workshops Proposals Due: October 1, 2021

  - Paper Submission Due: November 1, 2021

  - Acceptance Notification: December 30, 2021

  - Camera-Ready Submission: January 27, 2022



EDI40 2022 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content
platform ScienceDirect (www.sciencedirect.com), and will be freely
available worldwide. All papers in Procedia will be indexed by Scopus (
www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation
Index (http://thomsonreuters.com/conference-proceedings-citation-index/).
All papers in Procedia will also be indexed by Scopus (www.scopus.com) and
Engineering Village (Ei) (www.engineeringvillage.com). This includes EI
Compendex (www.ei.org/compendex). Moreover, all accepted papers will be
indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked
references, XML versions and citable DOI numbers. You will be able to
provide a hyperlink to all delegates and direct your conference website
visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:


 - International Journal of Ambient Intelligence and Humanized Computing
(IF: 4.594), by Springer (http://www.springer.com/engineering/journal/12652)

- International Journal Personal and Ubiquitous Computing (IF:3.006),
Springer (https://www.springer.com/journal/779)

- International Journal on Transportation Research Part A: Policy and
Practice (IF: 3.992), by Elsevier (
https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/)

- International Journal of Computing and Informatics (IF: 0.524), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)




EDI40 2022 will be held in Porto, Portugal. Porto is the second-largest
city in Portugal after Lisbon and one of the major urban areas of the
Iberian Peninsula. Porto is also called the Invicta because during the 19th
century Portuguese civil war, the city withstood a siege of over a year.The
urban area of Porto, which extends beyond the administrative limits of the
city, has a population of 2.1 million in an area of 389 km2 (150 sq mi),
making it the second-largest urban area in Portugal. It is recognized as a
gamma- level global city by the Globalization and World Cities (GaWC) Study
Group, the only Portuguese city besides Lisbon to be recognized as a global
city.

EDI40 will be held in conjunction with the 13th International Conference on
Ambient Systems, Networks and Technologies (ANT 2022).


Conference Tracks

 - Benefits of Industry 4.0

 - Big Data and Analytics

 - Cloud Computing

 - Cognitive Computing

 - Computational Intelligence

 - Cyber-Physical Systems (CPS)

 - Fog Computing and Edge Computing

 - Internet of Everything (IoE)

 - Standards for IoT Application Integration

 - The New Business Models in Industry 4.0

 - General Track: Digitalization Startegies


Committees

General Chair

 Danny Hughes, CTO VeraSense NV, Belgium


Program Chairs

 Jamal Bentahar, Concordia University, Canada

 Haroon Malik, Marshall University, USA


Local Chair

 Nuno Varandas, F6S (Where Founders Grow Together), Portugal


Workshops Chair

 Stephane Galland, UTBM, France Program


Advisory Committee

 Reda Alhajj, University of Calgary, Canada

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Peter Thomas, Manifesto Research, Australia

 Mohamed Younis, University of Maryland Baltimore County, USA


International Journals Chair

 Michael Sheng, Macquarie University, Australia


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de
Technologies, Tunis

 Aneta Poniszewska-Marańda, Lodz University of Technology, Poland

 Shashank Swarup, Acadia University, Canada


Technical Program Committee

  http://cs-conferences.acadiau.ca/EDI40-22/#programCommittees


International Liaison Chairs

 Soumaya Cherkaoui, Sherbrooke University, Canada

 Nik Bessis, Edge Hill University, UK

 David Taniar, Monash University, Australia


Steering Committee Chair and Founder

 Elhadi Shakshuki, Acadia University, Canada



Sent via Mail Merge for Gmail

___
Haskell mailing list