Zobrazeno 1 - 10
of 35
pro vyhledávání: '"Antonino, Pedro"'
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
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analysis in the verification of deadlock freedom for concurrent and distrib
Externí odkaz:
http://arxiv.org/abs/2207.08854
Smart contracts are the building blocks of the "code is law" paradigm: the smart contract's code indisputably describes how its assets are to be managed - once it is created, its code is typically immutable. Faulty smart contracts present the most si
Externí odkaz:
http://arxiv.org/abs/2205.07529
We develop the concept of Trusted and Confidential Program Analysis (TCPA) which enables program certification to be used where previously there was insufficient trust. Imagine a scenario where a producer may not be trusted to certify its own softwar
Externí odkaz:
http://arxiv.org/abs/2112.00346
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
Autor:
Antonino, Pedro, Roscoe, A. W.
The exploitation of smart-contract vulnerabilities can have catastrophic consequences such as the loss of millions of pounds worth of crypto assets. Formal verification can be a useful tool in identifying vulnerabilities and proving that they have be
Externí odkaz:
http://arxiv.org/abs/2002.02710
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
The increase of computer systems complexity has led to a direct increase in the difficulty of verifying their correctness. For mastering this complexity, formal methods can be used in the development of systems providing techniques for both design an
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/11966
Autor:
Antonino Pedro Marsal, Sukardi Sukardi
Publikováno v:
Yuridika, Vol 36, Iss 3, Pp 527-544 (2021)
The East Timor obtained its independence though a referendum conducted by the United Nation (UN). The constitution of the Democratic Republic of Timor Leste (RDTL) officially enacted on 20th of May 2002. The language clause with the constitution, art
Externí odkaz:
https://doaj.org/article/b419bac3fccd46f5a7518f3566ab181b
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.
Publikováno v:
Software & Systems Modeling; Jun2024, Vol. 23 Issue 3, p765-798, 34p