Simone Valentini

According to our database, Simone Valentini authored at least 3 papers in 2024.

Collaborative distances:

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

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