A Categorical Approach to Secure Compilation

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Onderzoeksoutput: Conference paper

1 Citaat (Scopus)

Samenvatting

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.
Originele taal-2English
TitelCategorical Methods in Computer Science
UitgeverijSpringer
Pagina's155-179
Aantal pagina's25
ISBN van elektronische versie978-3-030-57201-3
ISBN van geprinte versie978-3-030-57200-6
DOI's
StatusPublished - 2020
EvenementCoalgebraic Methods in Computer Science - Dublin, Ireland
Duur: 21 sep 202019 okt 2020
Congresnummer: 2020
https://www.coalg.org/cmcs20/

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12094 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Workshop

WorkshopCoalgebraic Methods in Computer Science
Verkorte titelCMCS
LandIreland
StadDublin
Periode21/09/2019/10/20
Internet adres

Citeer dit