362 followers
I had some discussions lately about the VeriSolid work (with @aalaszka when we were both at Vanderbilt) for correct-by-design Ethereum smart contracts. The first paper is https://t.co/fiFM2H48Ev. Also the journal paper below on how it can be applied to ER