Department of Computer Science, Universitaet Innsbruck, Innsbruck, Austria;
Department of Computer Science, Universitaet Innsbruck, Innsbruck, Austria;
Smart contract; Trustless; Code analysis; Call graph; Ethereum;
机译:智能合约中的代码克隆:以Ethereum Bloctchain平台的验证合同为例
机译:维护相关的关注后的Etereum智能合同开发:问题,技术和未来挑战
机译:通过代码归因脱匿的Etheryum BlockChain智能合同
机译:在我们信任的代码中?测量所有智能合约的控制流动不变性,在以外统计学
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:智能合同意识到Ethereum和客户端 - 雾云保健系统
机译:智能卡C代码控制流完整性的软件对策