A formal verification approach for composite smart contracts security using FSM[J]
JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES
机构作者
Almakhour, Mouhamad
文献数量：2
Demerjian, Jacques
文献数量：1
Ghandour, Mazen
文献数量：1
Rifi, Nabil
文献数量：1
Samhat, Abed Ellatif
文献数量：3
Taher, Nada Chendeb
文献数量：1
机构文献
Verification of smart contracts: A survey[J]
PERVASIVE AND MOBILE COMPUTING
Permissionless proof-of-reputation-X: A hybrid reputation-based consensus algorithm for permissionless blockchains[J]
TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES
Blockchain Technology: Is It a Good Candidate for Securing IoT Sensitive Medical Data?[J]
WIRELESS COMMUNICATIONS & MOBILE COMPUTING