Search for persons
X
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
6
Computationally sound Bitcoin tokens:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
8
A True Concurrent Model of Smart Contracts Executions:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
9
Renegotiation and Recursion in Bitcoin Contracts:
, In:
?
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
12
Developing secure bitcoin contracts with BitML:
, In:
?
13
Computational Intelligence Methods for Bioinformatics and B..
Lecture Notes in Bioinformatics, 10834