Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Zanarini, Dante"'
Emin G\"un Sirer once said: It's clear that writing a robust, secure smart contract requires extreme amounts of diligence. It's more similar to writing code for a nuclear power reactor, than to writing loose web code [...] Yet the current Solidity la
Externí odkaz:
http://arxiv.org/abs/1908.00591
MimbleWimble is a privacy-oriented cryptocurrency technology encompassing security and scalability properties that distinguish it from other protocols of the kind. In this paper we present and briefly discuss those properties and outline the basis of
Externí odkaz:
http://arxiv.org/abs/1907.01688
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
This work presents a complete formalization of Alternating-time Temporal Logic (ATL) and its semantic model, Concurrent Game Structures (CGS), in the Calculus of (Co)Inductive Constructions, using the logical framework Coq. Unlike standard ATL semant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::732662b5b4e14125dee8598db5bf461c
Publikováno v:
RepHipUNR (UNR)
Universidad Nacional de Rosario
instacron:UNR
Universidad Nacional de Rosario
instacron:UNR
Si preguntamos a una persona qué es un lenguaje, posiblemente nos responda por medio de ejemplos: español, inglés, sánscrito. También es posible que nos diga que es una forma en que las personas se comunican naturalmente. Para nosotros, los leng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::4ebd74b3e717cf4c1dd355c8d9b499da
Publikováno v:
2013 IEEE 26th Computer Security Foundations Symposium; 2013, p18-32, 15p
Publikováno v:
Formal Methods: Foundations & Applications (9783642332951); 2012, p210-225, 16p