会员服务
【区块链】智能合约：架构及进展
【区块链】智能合约：架构及进展
产业智能官
4+阅读 · 2020年7月27日
让黑客从良？一种无法被黑客攻破的技术？！
让黑客从良？一种无法被黑客攻破的技术？！
硅谷第一线
0+阅读 · 2018年3月13日
华为自研系统“鸿蒙”发布！已研发七年，可替代安卓
华为自研系统“鸿蒙”发布！已研发七年，可替代安卓
猎云网
0+阅读 · 2019年8月10日
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
专访哈工大朱晓蕊教授：系统安全会成为无人机未来的重要问题
AI科技评论
0+阅读 · 2019年5月25日
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
机器学习模型中的 bug 太难找？DeepMind 呈上了三种好方法！
AI科技评论
0+阅读 · 2019年6月2日
Thinking Above Code：TLA+ 思维概述
Thinking Above Code：TLA+ 思维概述
InfoQ
0+阅读 · 2021年12月9日
FCS 优青论坛 | MSVL：一种类型化时序逻辑程序设计语言
FCS 优青论坛 | MSVL：一种类型化时序逻辑程序设计语言
FCS
0+阅读 · 2017年11月9日
形式化验证工具TLA+：程序员视角的入门之道
形式化验证工具TLA+：程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
CertiK发布形式化验证自动检测引擎AutoScan：市值前500通证合约中多达53个含高危漏洞隐患
CertiK发布形式化验证自动检测引擎AutoScan：市值前500通证合约中多达53个含高危漏洞隐患
硅谷第一线
0+阅读 · 2018年8月31日
最牛华人“程序员”邵中教授与哥大顾荣辉教授联手解决安全问题痛点，打造区块链理想世界
最牛华人“程序员”邵中教授与哥大顾荣辉教授联手解决安全问题痛点，打造区块链理想世界
AI金融评论
0+阅读 · 2018年3月7日
一行代码蒸发64亿？！形式化验证帮你一秒避免悲剧
一行代码蒸发64亿？！形式化验证帮你一秒避免悲剧
硅谷第一线
0+阅读 · 2018年5月1日
区块链安全公司CertiK正式加入通用协议联盟
区块链安全公司CertiK正式加入通用协议联盟
硅谷第一线
0+阅读 · 2019年2月23日
20亿EDU币被盗？形式化验证一键检错！
20亿EDU币被盗？形式化验证一键检错！
硅谷第一线
2+阅读 · 2018年5月24日
拿什么来保护你，我的币？
拿什么来保护你，我的币？
硅谷第一线
0+阅读 · 2018年5月12日
智能合约的形式化验证方法研究综述
智能合约的形式化验证方法研究综述
专知
14+阅读 · 2021年5月8日
参考链接
微信扫码咨询专知VIP会员
Top