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 language | English |
---|---|
Title of host publication | Categorical Methods in Computer Science |
Publisher | Springer |
Pages | 155-179 |
Number of pages | 25 |
ISBN (Electronic) | 978-3-030-57201-3 |
ISBN (Print) | 978-3-030-57200-6 |
DOIs | |
Publication status | Published - 2020 |
Event | Coalgebraic Methods in Computer Science - Dublin, Ireland Duration: 21 Sep 2020 → 19 Oct 2020 Conference number: 2020 https://www.coalg.org/cmcs20/ |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12094 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Workshop
Workshop | Coalgebraic Methods in Computer Science |
---|---|
Abbreviated title | CMCS |
Country | Ireland |
City | Dublin |
Period | 21/09/20 → 19/10/20 |
Internet address |