Marco Patrignani, Amal Ahmed, Dave Clarke 0001. Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Computing Surveys, 51(6), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.