www.prismmodelchecker.org
[KM24] Aka Sai Lalith Kumar and Sweta Mishra. Ransomware Criminal Smart Contract. In Proc. IEEE International Conference on Blockchain (Blockchain'24). 2024. [Proposes and evaluates, using PRISM, a protocol for criminal smart contracts.]
Links: [Google] [Google Scholar]

Publications