Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth. Cast-as-Intended: A Formal Definition and Case Studies. In Matthew Bernhard, Andrea Bracciali, Lewis Gudgeon, Thomas Haines, Ariah Klages-Mundt, Shin'ichiro Matsuo, Daniel Perez 0001, Massimiliano Sala, Sam Werner, editors, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers. Volume 12676 of Lecture Notes in Computer Science, pages 251-262, Springer, 2021. [doi]
Abstract is missing.