"Komodo: Using verification to disentangle secure-enclave hardware from ..."

Andrew Ferraiuolo et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics