Pengxiang Ma

Ethereumのスマートコントラクト検証におけるセキュリティの課題を深掘りする。