Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sainas, Franco"'
Autor:
Bartoletti, Massimo, Fioravanti, Fabio, Matricardi, Giulia, Pettinau, Roberto, Sainas, Franco
Formal verification of smart contracts has become a hot topic in academic and industrial research, given the growing value of assets managed by decentralized applications and the consequent incentive for adversaries to tamper with them. Most of the c
Externí odkaz:
http://arxiv.org/abs/2402.10750
