V
主页
智能合约分析的研究与经验-香港理工大学 Xiapu Luo
发布人
专家简介: 罗夏朴是香港理工大学计算机系的副教授。他目前的研究兴趣包括区块链合约、移动安全与隐私、网络安全与隐私以及软件工程。他的工作发表在网络安全、软件工程和网络领域的顶级会议和期刊上。他获得了七项最佳论文奖(如INFOCOM’18、ISPEC’17、ISSRE’16等)。 报告摘要: 智能合约的支持是区块链2.0的里程碑,它允许在区块链上运行各种应用程序。许多区块链系统支持智能合约,其中以太坊是最大的区块链系统,市值约2500亿美元。此外,以太坊通过智能合约支持大多数加密货币代币。不幸的是,智能合约被无意或故意利用,给用户造成严重的财务损失。在本次演讲中,我将首先介绍我们最近关于识别智能合约中的各种问题并保护它们的研究。然后,以我们对智能合约分析的研究为例,我想分享经验和教训。
打开封面
下载高清视频
观看高清视频
视频下载器
格问题及其分析方法
DOGE 预计将成为下一个 12 月触及 1 美元的加密货币
Ethernaut 智能合约讲解 08 Vault
密码侧信道分析技术原理与案例
(全)B站最系统的kali linux渗透教学,从理论到实操,人人都可以学会的黑客技术教程!看完学不会我退出网安圈!
大数据安全中心 数据分类分级研究与实践
【怪盗】ALEO还有救吗? 打打鸡血! 全网独家多维度分析
狗狗币:我心中真正的加密之光,即将成为第二大货币
SANS 智能合约的黑客攻击介绍
零知识证明简介
正确的开仓是有逻辑的,入场K线就是重要一环丨交易干货
Web3开发必修课 | 从0到1的生产级Dapp项目实战 | 全栈Dapp开发指南
一套稳定盈利的交易系统,哪一步最关键?丨交易干货
PNUT 价格预测:本周 $PNUT 价格会上涨 5 倍吗?
一定要远离那些问你做空还是做多的人!
解锁未来之路:汽车数字取证
《缠论详解》从小白到高手:12年职业交易员教你用缠论掌握市场
比特币加速上涨倒计时?!
宝二爷探讨在未来币圈,那些币可以达到一百倍的涨幅收益,大家思考
未来投资倡议(FII)研究所访谈 CZ - CZ 加密货币市场未来发展的看法
11月15日BTC市场数据分析与解读
具有前/后向隐私保护的结果模式隐藏型可搜索对称加密
柴犬币迎来重大时刻:6.5亿枚SHIB销毁
蓝牙协议从设计到实现的全谱系安全性研究
玩土狗的正确姿势
【从入门到入狱】暗网黑客教程1300集,全程干货无废话!只要你敢学我就敢教!网络安全|kali破解|web安全|渗透测试+学习笔记+零基础入门网络安全
对称密码的设计与分析简介
用于解锁智能门锁的射频工具
形式化验证的原理与新应用
学会聪明的交易模式
【从入门到入狱】暗网黑客教程1800集,全程干货无废话!只要你敢学我就敢教!网络安全|kali破解|web安全|渗透测试+学习笔记+零基础入门网络安全
智能家居逻辑漏洞研究
初级黑客渗透技术利用Kali-Metasploit入侵室友电脑和手机
BTC错过的牛市,ETH是你最后的机会了,错过等4年
刘世锦:经济刺激需要大招。10万亿用在哪最有效!
【Z哥1110直播】下周行情分析
被举报下架65次,只要你敢学我就敢发!偷偷上传的暗网黑客技术教程,零基础入门学网络安全/渗透测试/内网渗透/信息安全技术
以太坊三重困境,以太币后继乏力
同态秘密分享与伪随机相关生成器