A brief tour of formally secure compilation

Authors
Publication date
1 January 2019
Publisher
CEUR-WS

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio della ricerca della Scuola IMT Alti Studi Lucca

    redirect
    oaioai:iris.imtlucca.it:20.500.11...
    Last time updated on 04/08/2020