Nanyang Technological University, Singapore;
Nanyang Technological University, Singapore;
Nanyang Technological University, Singapore;
Kyushu University, Japan;
Nanyang Technological University, Singapore;
Smart contracts; Blockchain; Tools; Software; Security;
机译:区块链智能合约的形式化:解决漏洞的方法和挑战
机译:在国内平台中检测智能合同规范的漏洞
机译:ContractFuzzer:对智能合约进行模糊检测以检测漏洞
机译:vultron:捕捉脆弱的智能合同一次和所有人
机译:Ethereum BlockChain上的智能合同漏洞:目前的视角
机译:SMARTWOMAN™:智能手机应用程序的可行性评估以控制易感糖尿病妇女的心血管危险因素
机译:使用AWD-LSTM的智能合同漏洞的多级分类,具有预先训练的编码器,受到自然语言处理的启发