Pubblicazioni

Enabling Efficient Verification in a DApp: the Case of Copyright Management

2024 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Della Monica, Pierpaolo; Fedeli, Matteo; Salonico, Cristina; Vitaletti, Andrea; Zecchini, Marco

Blockchain-as-a-service and blockchain-as-a-partner: Implementation options for supply chain optimization

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo Gaspare; DI CICCIO, Claudio; Pareschi, Remo; Tortola, Domenico; Gessa, Nicola; Massa, Gilda

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo Gaspare; Labella, Anna; Pareschi, Remo

A formal model for ledger management systems based on contracts and temporal logic

2022 - BLOCKCHAIN: RESEARCH AND APPLICATIONS
Bottoni, Paolo; Labella, Anna; Pareschi, Remo

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma