A Categorical Approach to Secure Compilation

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Research output: Chapter in Book/Report/Conference proceedingConference paper

3 Citations (Scopus)

Abstract

We introduce a novel approach to secure compilation based on maps of distributive laws. We demonstrate through four examples that the coherence criterion for maps of distributive laws can potentially be a viable alternative for compiler security instead of full abstraction, which is the preservation and reflection of contextual equivalence. To that end, we also make use of the well-behavedness properties of distributive laws to construct a categorical argument for the contextual connotations of bisimilarity.
Original languageEnglish
Title of host publicationCategorical Methods in Computer Science
EditorsDaniela Petrisan, Jurriaan Rot
PublisherSpringer
Pages155-179
Number of pages25
Volume12094
ISBN (Electronic)978-3-030-57201-3
ISBN (Print)978-3-030-57200-6
DOIs
Publication statusPublished - 2020
EventCoalgebraic Methods in Computer Science - Dublin, Ireland
Duration: 21 Sep 202019 Oct 2020
Conference number: 2020
https://www.coalg.org/cmcs20/

Publication series

NameLecture Notes in Computer Science

Workshop

WorkshopCoalgebraic Methods in Computer Science
Abbreviated titleCMCS
Country/TerritoryIreland
CityDublin
Period21/09/2019/10/20
Internet address

Bibliographical note

Funding Information:
This work was partially supported by the Research Fund KU Leuven. Andreas Nuyts holds a PhD fellowship from the Research Foundation-Flanders (FWO).

Publisher Copyright:
© IFIP International Federation for Information Processing 2020.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Cite this