VESCHETTI, ADELE
VESCHETTI, ADELE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
A Stochastic Analysis of the Gasper Protocol
2024 Laneve C.; Solmonte S.; Veschetti A.
Analyzing the Fairness of Proof of Stake Ethereum
2024 Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A.
Pacta sunt servanda: Legal contracts in Stipula
2023 Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele
Resilience of Hybrid Casper under varying values of parameters
2023 Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays
2023 Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A.
The Stipula Prototype
2022 Silvia Crafa; Cosimo Laneve; Adele Veschetti
A Formal Analysis of the Bitcoin Protocol
2020 Adele Veschetti, Cosimo Laneve
PRISM+
2020 Adele Veschetti, Cosimo Laneve
On the Prediction of Smart Contracts’ Behaviours
2019 Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Stochastic Analysis of the Gasper Protocol | Laneve C.; Solmonte S.; Veschetti A. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Analyzing the Fairness of Proof of Stake Ethereum | Bistarelli, S.; Laneve, C.; Mercanti, I.; Veschetti, A. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Pacta sunt servanda: Legal contracts in Stipula | Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni; Veschetti, Adele | 2023-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | Stipula.pdf |
| Resilience of Hybrid Casper under varying values of parameters | Galletta, Letterio; Laneve, Cosimo; Mercanti, Ivan; Veschetti, Adele | 2023-01-01 | DISTRIBUTED LEDGER TECHNOLOGIES | - | 1.01 Articolo in rivista | DLT.pdf |
| Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays | Bistarelli S.; De Nicola R.; Galletta L.; Laneve C.; Mercanti I.; Veschetti A. | 2023-01-01 | CONCURRENCY AND COMPUTATION | - | 1.01 Articolo in rivista | Blockchain_PRISM_PEPA.pdf |
| The Stipula Prototype | Silvia Crafa; Cosimo Laneve; Adele Veschetti | 2022-01-01 | - | - | 7.04 Software | - |
| A Formal Analysis of the Bitcoin Protocol |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | Schloss Dagstuhl--Leibniz-Zentrum fur Informatik | 4.01 Contributo in Atti di convegno | laneve-veschetti.pdf |
| PRISM+ |
Adele Veschetti, Cosimo Laneve |
2020-01-01 | - | - | 7.04 Software | - |
| On the Prediction of Smart Contracts’ Behaviours | Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | accepted_manuscript.pdf |