Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Sousa, Simão"'
This paper presents Adamastor, a new low latency and scalable decentralized anonymous payment system, which is an extension of Ring Confidential Transactions (RingCT) that is compatible with consensus algorithms that use Delegated Proof of Stake (DPo
Externí odkaz:
http://arxiv.org/abs/2011.14159
This paper introduces WhylSon, a deductive verification tool for smart contracts written in Michelson, which is the low-level language of the Tezos blockchain. WhylSon accepts a formally specified Michelson contract and automatically translates it to
Externí odkaz:
http://arxiv.org/abs/2005.14650
This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the
Externí odkaz:
http://arxiv.org/abs/2005.11839
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, Volume 89, 2017, Pages 41-66
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based o
Externí odkaz:
http://arxiv.org/abs/1712.01631
This paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that f
Externí odkaz:
http://arxiv.org/abs/0803.2317
Autor:
Rodrigues, Vítor, Akesson, Benny, Florido, Mário, de Sousa, Simão Melo, Pedroso, João Pedro, Vasconcelos, Pedro
Publikováno v:
In Science of Computer Programming 1 November 2015 111 Part 3:505-534
Publikováno v:
Infarma: Pharmaceutical Sciences, Vol 28, Iss 1, Pp 40-46 (2016)
Este estudo avaliou o armazenamento de medicamentos em 22 unidades básicas de saúde do município de Macaíba, Estado do Rio Grande do Norte, no período de janeiro a março de 2012. Para isto, foi realizada verificação in loco da infraestrutura
Externí odkaz:
https://doaj.org/article/e932cecd14a24862b0893bacbe5441bb
Autor:
Tânia Oppido Schalch, Érika Thaís Piatto, Débora de Sousa Simão, Sandra Kalil Bussadori, Lara Jansiski Motta, Christiane Pavani, Anna Carolina Ratto Tempestini Horliana
Publikováno v:
Photodiagnosis and Photodynamic Therapy. 42:103331
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b65a75094718798463f39dd99b16df47
https://doi.org/10.1016/j.pdpdt.2023.103331
https://doi.org/10.1016/j.pdpdt.2023.103331
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.
This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and aims to preserve the semantics, flow and resource usa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4abc6338aa8c854bb19ce2ddcbb92683