Secure multi-party computation with legally-enforceable fairness
T Nakai, K Shinagawa - International Journal of Information Security, 2024 - Springer
Fairness is a security notion of secure computation and cannot always be achieved if an
adversary corrupts a majority of parties in standard settings. Lindell (CT-RSA 2008) showed …
adversary corrupts a majority of parties in standard settings. Lindell (CT-RSA 2008) showed …
[PDF][PDF] Strategic Reasoning for BitML Smart Contracts
L Bellomarini, M Favorito, G Galano - 2024 - ceur-ws.org
In this paper, we study the problem of Atl* model checking for Bitcoin smart contracts when
formalized in the BitML high-level formal language. Starting from a BitML contract …
formalized in the BitML high-level formal language. Starting from a BitML contract …