Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Marco Patrignani, Amal Ahmed, Dave Clarke

Journal title: ACM Computing Surveys

Journal number: Volume 51,Issue 6, November 2019

Journal publisher: Association for Computing Machinary, Inc.

Published year: 2019

Published pages: 1–36

DOI identifier: 10.1145/3280984

ISSN: 0360-0300