A Categorical Approach to Secure Compilation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

A Categorical Approach to Secure Compilation

Résumé

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.
Fichier principal
Vignette du fichier
493577_1_En_9_Chapter.pdf (245.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03232345 , version 1 (21-05-2021)

Licence

Paternité

Identifiants

Citer

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens. A Categorical Approach to Secure Compilation. 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.155-179, ⟨10.1007/978-3-030-57201-3_9⟩. ⟨hal-03232345⟩
36 Consultations
25 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More