IEEE - Institute of Electrical and Electronics Engineers, Inc. - FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq.

Author(s): Zheng Yang ; Hang Lei
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Electronic): 2169-3536
DOI: 10.1109/ACCESS.2019.2905428
Regular:

Recently, blockchain technology has been widely applied in the financial field. Therefore, the security of blockchain smart contracts is among the most popular contemporary research topics. To... View More

Advertisement