Securing smart contract with runtime validation.

Ao Li, Jemin Andrew Choi, Fan Long

Browse the full PLDI paper archive.