@InProceedings{10.1007/978-3-319-42019-6_10, author="Marino, Bill and Juels, Ari", editor="Alferes, Jose Julio and Bertossi, Leopoldo and Governatori, Guido and Fodor, Paul and Roman, Dumitru", title="Setting Standards for Altering and Undoing Smart Contracts", booktitle="Rule Technologies. Research, Tools, and Applications", year="2016", publisher="Springer International Publishing", address="Cham", pages="151--166", abstract="Often, we wish to let parties alter or undo a contract that has been made. Toward this end, contract law has developed a set of traditional tools for altering and undoing contracts. Unfortunately, these tools often fail when applied to smart contracts. It is therefore necessary to define a new set of standards for the altering and undoing of smart contracts. These standards might ensure that the tools we use to alter and undo smart contracts achieve their original (contract law) goals when applied to this new technology. This paper develops such a set of standards and, then, to prove their worth as a framework, applies to them to an existing smart contract platform (Ethereum).", isbn="978-3-319-42019-6" }