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.
CITATION STYLE
Tsampas, S., Nuyts, A., Devriese, D., & Piessens, F. (2020). A categorical approach to secure compilation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12094 LNCS, pp. 155–179). Springer. https://doi.org/10.1007/978-3-030-57201-3_9
Mendeley helps you to discover research relevant for your work.