7 citations · 7 across the 1 of their papers we have counts for
1 paper
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar +1
This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security proper…