Mazzante, Gianmarco
Mazzante, Gianmarco
Universita' degli Studi di CAMERINO
Analysis of Ethereum Smart Contracts and Opcodes
2019-01-01 Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco
Blockchain and IoT Integration for Pollutant Emission Control
2022-01-01 Bistarelli, S.; Marcozzi, M.; Mazzante, G.; Mostarda, L.; Navarra, A.; Sestili, D.
Ethereum smart contracts: Analysis and statistics of their source code and opcodes
2020-01-01 Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Sestili, Davide; Tiezzi, Francesco
Off-Chain Execution of IoT Smart Contracts
2021-01-01 Cacciagrano, D.; Corradini, F.; Mazzante, G.; Mostarda, L.; Sestili, D.
Symbolic verification of event–condition–action rules in intelligent environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Analysis of Ethereum Smart Contracts and Opcodes | 1-gen-2019 | Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
| Blockchain and IoT Integration for Pollutant Emission Control | 1-gen-2022 | Bistarelli, S.; Marcozzi, M.; Mazzante, G.; Mostarda, L.; Navarra, A.; Sestili, D. | Contributo in atto di convegno su volume | |
| Ethereum smart contracts: Analysis and statistics of their source code and opcodes | 1-gen-2020 | Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Sestili, Davide; Tiezzi, Francesco | Articolo | |
| Off-Chain Execution of IoT Smart Contracts | 1-gen-2021 | Cacciagrano, D.; Corradini, F.; Mazzante, G.; Mostarda, L.; Sestili, D. | Capitolo di libro o voce di enciclopedia | |
| Symbolic verification of event–condition–action rules in intelligent environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Articolo |