Stelios Tsampas 0001, Andreas Nuyts, Dominique Devriese, Frank Piessens. A Categorical Approach to Secure Compilation. In Daniela Petrisan, Jurriaan Rot, editors, Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Volume 12094 of Lecture Notes in Computer Science, pages 155-179, Springer, 2020. [doi]
Abstract is missing.