%0 Conference Proceedings
%T A Categorical Approach to Secure Compilation
%+ Catholic University of Leuven = Katholieke Universiteit Leuven (KU Leuven)
%+ Vrije Universiteit Brussel [Bruxelles] (VUB)
%A Tsampas, Stelios
%A Nuyts, Andreas
%A Devriese, Dominique
%A Piessens, Frank
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Dublin, Ireland
%Y Daniela Petrişan
%Y Jurriaan Rot
%I Springer International Publishing
%3 Coalgebraic Methods in Computer Science
%V LNCS-12094
%P 155-179
%8 2020-04-25
%D 2020
%R 10.1007/978-3-030-57201-3_9
%K Secure compilation
%K Distributive laws
%K Structural operational semantics
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-03232345/document
%2 https://inria.hal.science/hal-03232345/file/493577_1_En_9_Chapter.pdf
%L hal-03232345
%U https://inria.hal.science/hal-03232345
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-12094