Comparison of Ethereum Smart Contract Analysis and Verification Methods.

Vincent Happersberger, Frank-Walter Jkel, Thomas Knothe, Yvonne-Anne Pignolet, Stefan Schmid

Browse the full ESORICS paper archive.