Witnessing secure compilation
From MaRDI portal
Publication:784104
DOI10.1007/978-3-030-39322-9_1OpenAlexW3004018778MaRDI QIDQ784104
Lucas M. Tabajara, Kedar S. Namjoshi
Publication date: 5 August 2020
Full work available at URL: https://arxiv.org/abs/1911.05866
Related Items