Matteo Di Pirro

According to our database, Matteo Di Pirro authored at least 3 papers between 2017 and 2019.

Collaborative distances:

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

2019

Solidity 0.5: when typed does not mean type safe.

Silvia Crafa, Matteo Di Pirro

CoRR, 2019

Is Solidity Solid Enough?

Silvia Crafa, Matteo Di Pirro, Elena Zucca

Proceedings of the Financial Cryptography and Data Security, 2019

2017

Ensuring information security by using Haskell's advanced type system.

Matteo Di Pirro, Mauro Conti, Riccardo Lazzeretti

Proceedings of the International Carnahan Conference on Security Technology, 2017