Summary
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: Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
Journal title: 2017 IEEE European Symposium on Security and Privacy (EuroS&P)
Journal number: 2017
Journal publisher: IEEE
Published year: 2017
Published pages: 435-450
DOI identifier: 10.1109/EuroSP.2017.38
ISBN: 978-1-5090-5762-7