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]
@inproceedings{RonneRS21,
title = {Cast-as-Intended: A Formal Definition and Case Studies},
author = {Peter B. Rønne and Peter Y. A. Ryan and Ben Smyth},
year = {2021},
doi = {10.1007/978-3-662-63958-0_22},
url = {https://doi.org/10.1007/978-3-662-63958-0_22},
researchr = {https://researchr.org/publication/RonneRS21},
cites = {0},
citedby = {0},
pages = {251-262},
booktitle = {Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers},
editor = {Matthew Bernhard and Andrea Bracciali and Lewis Gudgeon and Thomas Haines and Ariah Klages-Mundt and Shin'ichiro Matsuo and Daniel Perez 0001 and Massimiliano Sala and Sam Werner},
volume = {12676},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-63958-0},
}