We gratefully acknowledge support from
the Simons Foundation and member institutions.

Margarita Capretto, Martín Ceresa and Cesar Sanchez are qualified to endorse.

Transaction Monitoring of Smart Contracts

Margarita Capretto: Is registered as an author of this paper.
Can endorse for cs.DC. (why?)
Martín Ceresa: Is registered as an author of this paper.
Can endorse for cs.DC, cs.LO. (why?)
Cesar Sanchez: Is registered as an author of this paper.
Can endorse for cs.CR, cs.LO, cs.SE. (why?)