Zobrazeno 1 - 2
of 2
pro vyhledávání: '"BIERNACKI, LAUREN"'
Autor:
Tan, Qinhan, Fisseha, Yonathan, Chen, Shibo, Biernacki, Lauren, Jeannin, Jean-Baptiste, Malik, Sharad, Austin, Todd
Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and significantly reduce the amount of hardware trust to a small software-free enclave component. In this paper, we perform a complete formal verification of a sp
Externí odkaz:
http://arxiv.org/abs/2309.00181
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.