在2018 CHAINSIGHTS 全球峰会的圆桌论坛环节,来自全球各地顶尖科技、金融行业的从业者就“Security Tokens and Blockchain Inv...
欧洲银行业管理局:DLT可以帮助银行提高监管合规性;清华大学罗玫:三大障碍导致区块链落地难;陈伟星:推动加密货币市场监管是行业的首要责任。
2018年,“数据泄露”这四个字时常见诸于媒体报端,时刻挑动着人们敏感的神经。随着互联网的发展,个人数据的价值已毋庸置疑,而储存数据的服务器更是成为黑客经常光顾的“蜜罐”...
从诞生至今,形式化验证(Formal Verification)方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添...