VALENTINI, SIMONE
VALENTINI, SIMONE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
Formal Verification of Decentralized Autonomous Organizations
2026 S. Valentini, S. Avanzo, E. Riccobene
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
2025 C. Braghin, G. Del Castillo, E. Riccobene, S. Valentini
Security Assessment of Interacting Ethereum Smart Contracts
2025 C. Braghin, E. Riccobene, S. Valentini
A Modeling and Verification Framework for Ethereum Smart Contracts
2024 S. Valentini, C. Braghin, E. Riccobene
Modeling and verification of smart contracts with Abstract State Machines
2024 C. Braghin, E. Riccobene, S. Valentini
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Formal Verification of Decentralized Autonomous Organizations | 2026 | Simone ValentiniElvinia Riccobene + | Book Part (author) | - | |
| Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts | 2025 | Braghin, ChiaraRiccobene, ElviniaValentini, Simone + | Book Part (author) | - | |
| Security Assessment of Interacting Ethereum Smart Contracts | 2025 | Chiara BraghinElvinia RiccobeneSimone Valentini | Book Part (author) | - | |
| A Modeling and Verification Framework for Ethereum Smart Contracts | 2024 | Valentini, SimoneBraghin, ChiaraRiccobene, Elvinia | Book Part (author) | - | |
| Modeling and verification of smart contracts with Abstract State Machines | 2024 | Braghin, ChiaraRiccobene, ElviniaValentini, Simone | Book Part (author) | - |