Sandrine Blazy. From Verified Compilation to Secure Compilation: a Semantic Approach. In Alley Stoughton, Marco Vassena, editors, PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. pages 1, ACM, 2020. [doi]
Abstract is missing.