A Categorical Approach to Secure Compilation

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

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

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
PublisherSpringer
Pages155-179
Number of pages25
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12094 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

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

Cite this