机译:Etereum Smart合同的安全框架
Univ Complutense Madrid UCM Fac Comp Sci & Engn Dept Software Engn & Artificial Intelligence DISI Grp Anal Secur & Syst GASS Off 431 Calle Prof Jose Garcia Santesmases 9 Ciudad Univ Madrid 28040 Spain;
Univ Complutense Madrid UCM Fac Comp Sci & Engn Dept Software Engn & Artificial Intelligence DISI Grp Anal Secur & Syst GASS Off 431 Calle Prof Jose Garcia Santesmases 9 Ciudad Univ Madrid 28040 Spain;
Univ Complutense Madrid UCM Fac Comp Sci & Engn Dept Software Engn & Artificial Intelligence DISI Grp Anal Secur & Syst GASS Off 431 Calle Prof Jose Garcia Santesmases 9 Ciudad Univ Madrid 28040 Spain;
Blockchain; Ethereum; Secure development; Security; Smart contracts;
机译:Neucheck:更实用的Etereum Smart合同安全分析工具
机译:Ethereum Smart合同安全研究:调查和未来的研究机会
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:以太坊智能合约安全性分析的语义框架
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:智能合同意识到Ethereum和客户端 - 雾云保健系统
机译:Ethereum Smart合同安全分析的语义框架