关注
Matteo Di Pirro
Matteo Di Pirro
Software Engineer, Kynetics SRL
在 kynetics.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Is solidity solid enough?
S Crafa, M Di Pirro, E Zucca
Financial Cryptography and Data Security: FC 2019 International Workshops …, 2020
482020
Solidity 0.5: when typed does not mean type safe
S Crafa, M Di Pirro
arXiv preprint arXiv:1907.02952, 2019
62019
How Solid is Solidity? An In-dept Study of Solidity’s Type Safety
M Di Pirro
Università degli Studi di Padova, Department of Mathematics, 2018
32018
Ensuring information security by using Haskell's advanced type system
M Di Pirro, M Conti, R Lazzeretti
2017 International Carnahan Conference on Security Technology (ICCST), 1-6, 2017
12017
系统目前无法执行此操作，请稍后再试。
文章 1–4