Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Wołoszyn, Wojciech Aleksander"'
We propose a protocol that explores a synergy between two TEE implementations: it brings SGX-like remote attestation to SEV VMs. We use the notion of a \emph{trusted guest owner}, implemented as an SGX enclave, to deploy, attest, and provision a SEV
Externí odkaz:
http://arxiv.org/abs/2305.09351
Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can run such that the integrity and confidentiality of its execution are gua
Externí odkaz:
http://arxiv.org/abs/2105.05962
We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathematically natural notions of possibility and necessity. A statement $\v
Externí odkaz:
http://arxiv.org/abs/2009.09394
One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space $C[0,1]$. By
Externí odkaz:
http://arxiv.org/abs/1810.03175
Publikováno v:
In Topology and its Applications 1 October 2020 284
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.