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