External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Cast-as-Intended: A Formal Definition and Case Studies

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]

Authors

Peter B. Rønne

This author has not been identified. Look up 'Peter B. Rønne' in Google

Peter Y. A. Ryan

This author has not been identified. Look up 'Peter Y. A. Ryan' in Google

Ben Smyth

This author has not been identified. Look up 'Ben Smyth' in Google
runs on