Simone Valentini

According to our database, Simone Valentini authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts.

Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene, Simone Valentini

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2024

A Modeling and Verification Framework for Ethereum Smart Contracts.

Simone Valentini, Chiara Braghin, Elvinia Riccobene

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Proceedings of the 21st International Conference on Security and Cryptography, 2024

Modeling and verification of smart contracts with Abstract State Machines.

Chiara Braghin, Elvinia Riccobene, Simone Valentini

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024