EosUESTC Laboratory

关于联合实验室

成都电子科技大学 “区块链技术研究与应用联合实验室”(以下简称为联合实验室)成立于2018年4月,由电子科技大学博士雷航领衔,并集合了多名优秀的博硕人才。联合实验室着重于搭建基于语言和公链的形式化验证平台及EOS人才培养。
联合实验室搭建了一个基于EOS智能合约的形式化验证平台,主攻方向为语言和公链,该平台验证效率高、支持多种合约开发语言、可精确定位到有风险的代码位置和风险原因,有效的验证智能合约的常规安全漏洞、安全属性和功能正确性,以提高EOS生态系统的安全性,同时,达到有效控制漏洞风险的目的。
同时,联合实验室依托电子科技大学,在宣传推广EOS理念的同时,还选拔培养了一批对EOS感兴趣且立志为EOS的发展做贡献的同学,以此来培养更多EOS人才,促进EOS生态更快更好地向前发展。

创一流科研水平
培养一流人才
共探合作新模式

形式化验证

united laboratory
合约测试

安全团队开发自动化测试工具,自动生成大量的测试用例执行合约来进行测试,检测在尽量多的条件下,合约是否能够正确执行。但由于测试用例无法保证100%覆盖所有的情况,所以,即使测试结果没有发现问题,也不能保证合约的实现一定没有漏洞。

合约审计

安全审计人员对合约源码从代码实现和业务逻辑等多个角度进行审计。安全团队通过专业的手段检查出大部分的合约漏洞和隐患,并在业务逻辑的实现上给与项目方指导或者建议。安全审计可以发现并规避大部分常见的漏洞和风险。

合约安全

随着平台级应用的普遍化,智能合约涉及的金额呈指数级别增长,智能合约的安全问题也成为投资者和开发者共同关注的焦点。交易所、钱包、项目方等都在智能合约安全上加大投入,同时围绕着智能合约安全的周边生态成为目前投资的热点。

人才培养

talent cultivation
联合实验室
直播教学
沙龙峰会

团队介绍

Team Introduction
雷航 . 博士

教授、博导、A级优秀主讲教师,研究大数据分析,软件可靠性测试和评价技术、实时系统设计方向。先后主持或主研“九五”和“十五”国防预研项目,承担“十一五” 863重大软件专项:面向PDA的嵌入式Linux软件操作平台”、国家核高基项目“数字电视嵌入式软件平台研发及产业化”等国家及省级科研项目

桑楠 . 教授

任四川省嵌入式与单片机系统协会理事。研究方向是:嵌入式可信计算、嵌入式实时操作系统、软件工程。先后主持国家重点工程(核高基项目)“数字电视嵌入式软件开发平台”、国家重点工程(核高基项目,基础软件方向)“基于国产软硬件的数字电视终端解决方案及样机研制”和国家863项目三项。

钱伟中 . 博士

电子科技大学副教授,四川省计算机学会软件分会理事。先后负责多个省部级及横向项目的研究,所涉及项目包括信息安全体系结构、信息安全机制、产品研发,大数据平台体系结构研究、分布式数据获取、可视化等技术研究,参与了国际标准ITU-T 标准x.msec-3的起草,共申请软件著作权十余项。

杨拯 . 博士

2017年7月本科毕业于电子科技大学信息与软件学院。参与了多个针对嵌入式安全操作系统的研究项目,有近3年的形式化研究经验,熟悉形式化方法,程序语言设计理论以及类型系统理论,能熟练运用将Coq作为可信基的形式化方法对特定目标进行形式化描述与形式化验证。

李贞昊 . 硕士

现任电子科技大学信息与软件工程学院工程实践教育中心主任。2012年获电子科技大学信息安全专业学士,2015年获北京工业大学软件工程硕士。曾在国内著名独立科技媒体 “爱范儿” 担任观察作者。运营互联网创业项目2项。在网络安全、软件架构方面有较多研究,并承担了国家科技部科技支撑项目一项。

合作伙伴

Cooperative partner