Ensuring information security by using Haskell's advanced type system. - Matteo Di Pirro; Mauro Conti; Riccardo Lazzeretti (ICCST, 2017)

Is Solidity Solid Enough? - Silvia Crafa; Matteo Di Pirro; Elena Zucca (Financial Cryptography Workshops, 2019)

Solidity 0.5: when typed does not mean type safe. - Silvia Crafa; Matteo Di Pirro (CoRR, 2019)