A categorical approach to secure compilation

DOI10.1007/978-3-030-57201-3_9OpenAlexW3081797584MaRDI QIDQ2229236

Dominique Devriese, Stelios Tsampas, Frank Piessens, Andreas Nuyts

Publication date: 22 February 2021

Full work available at URL: https://arxiv.org/abs/2004.03557

zbMATH Keywords

structural operational semanticsdistributive lawssecure compilation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: A categorical approach to secure compilation