7 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…