Exploiting the laws of order in smart contracts.

Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena

Browse the full ISSTA paper archive.