Document Open Access Logo

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)

Authors Farzaneh Derakhshan , Stephanie Balzer , Yue Yao

PDF
Thumbnail PDF

Artifact Description

DARTS.10.2.4.pdf
  • Filesize: 0.54 MB
  • 3 pages

Document Identifiers

Author Details

Farzaneh Derakhshan
  • Illinois Institute of Technology, Chicago, IL, USA
Stephanie Balzer
  • Carnegie Mellon University, Pittsburgh, PA, USA
Yue Yao
  • Carnegie Mellon University, Pittsburgh, PA, USA

Funding

  • Balzer, Stephanie: Supported in part by the Air Force Office of Scientific Research under award number FA9550-21-1-0385 (Tristan Nguyen, program manager). Any opinions, findings and conclusions or recommendations expressed here are those of the author(s) and do not necessari ly reflect the views of the U.S. Department of Defense.

Cite AsGet BibTex

Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao. Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 4:1-4:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DARTS.10.2.4

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact is a Docker image containing the snapshot of the source code, a built command-line binary, and an interactive demonstration of the type-checker developed for IFC language of the main paper. This article discusses its scope, contents and methods of use.

Subject Classification

ACM Subject Classification
  • Theory of computation → Linear logic
  • Security and privacy → Logic and verification
  • Theory of computation → Process calculi
Keywords
  • Regrading policies
  • session types
  • progress-sensitive noninterference

Metrics

Related Article

  • Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao, "Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency", in 38th European Conference on Object-Oriented Programming (ECOOP 2024), LIPIcs, Vol. 313, pp. 11:1-11:29, 2024. https://doi.org/10.4230/LIPIcs.ECOOP.2024.11

References

  1. Docker: Accelerated container application development. https://www.docker.com/. Accessed: 2024-07-12.
  2. Dune: A composable build system for ocaml. https://dune.build/. Accessed: 2024-07-12.
  3. ěrb|ocsigen/js_of_ocaml|: Compiler from ocaml to javascript. https://github.com/ocsigen/js_of_ocaml. Accessed: 2024-07-12.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact