Securing Smart Contract with Runtime Validation[C] PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20) 2020 Li, Ao Choi, Jemin Andrew Long, Fan
