William E Bodell III

icon indicating an email [email protected]

icon location Smart contract developer and security researcher. Master of CS from Illinois Institute of Technology, master of architecture from Columbia University.

Results 11 issues of William E Bodell III

Add motivating example from Smartian to research examples

6 comment

Add echidna-fied version of Smartian motivating example. Original: https://github.com/SoftSec-KAIST/Smartian/blob/main/examples/sol/motiv.sol