CCF测试容错领域的技术盛会CTC2020来啦

结合团队的研究兴趣和研究成果，围绕软件全生命周期的多种缺陷检测技术展开系统的介绍。内容涵盖软件全方位缺陷检测技术的原理方法、发展轨迹和核心关注点。

 

李必信，1969年8月出生，2001获得南京大学博士学位，2001-2003分别在芬兰、挪威和荷兰等地博士后出站。 现任东南大学计算机科学与工程学院教授、博士生导师，东南大学软件工程研究所所长。

 

2006年入选教育部新世纪人才培养计划、2011年度中创软件人才奖获得者、2014年获得教育部科学技术奖（自然科学奖）二等奖（排名第一）。

 

中国计算机学会软件工程专委会委员、容错计算机专委会常务委员，江苏省软件工程标准化委员会主任委员，江苏省计算机学会软件专委副主任。

 

研究方向为软件建模、分析、测试与验证、智能软件架构理论和方法、软件演化和软件质量保证等。从1999年开始，主持各类基金项目40多项, 先后在"IEEE Transactions on Network and Service Management", "ACM Computing Surveys","Information and Software Technology", "Software Testing, Verification and Reliability","Journal of Systems and Software"，"Advance in Engineering Software", "International Journal of Software Engineering and Knowledge Engineering", "Journal of Computer Science and Technology", 《软件学报》、《计算机学报》、《计算机研究与发展》国内外著名期刊和ICSE、FSE、ASE等重要国际会议发表学术论文180余篇，出版专著3部，教材1部，授权发明专利40项。论文被三大检索(SCI,EI,ISTP) 收录200多篇次，被他人引用累计超过5000篇次。

 

刘杨 教授

新加坡南洋理工大学

基于开源大数据的漏洞检测平台

 

软件漏洞一直是软件安全研究领域的一个痛点。不同的编程语言和不同的计算平台引入的不同类型的漏洞让这个问题变得更难了。同时开源平台的广泛使用，使漏洞的传播速度进一步加快。这个报告主要讲述我们如何在开源项目里面快速高效的识别开源版本，搜索已知漏洞。在开源项目的commit里面找到有漏洞的代码。然后利用找到的漏洞的标签数据，使用人工智能的算法来找未知漏洞。最后探讨一下我们在代码语义表征的一些尝试去更好的用图网络学习程序语义。整个工作已经形成一个完整的在线平台，支持全部的主流的开发语言的源码已知漏洞扫描(源码SCA扫描)，支持C、C++, Java, APK的二进制和各种firmware已知漏洞扫描(二进制SCA扫描)，支持APK的全方位漏洞扫描(SAST扫描)。

 

刘杨，新加坡南洋理工大学（NTU）计算机学院教授，NTU网络安全实验室主任、HP-NTU公司实验室项目主任以及新加坡国家卓越卫星中心副主任，并于2019年荣获大学领袖论坛讲席教授。刘杨博士分别于2005年，2010年分别获得新加坡国立大学学士和博士学位，2012年加入南洋理工大学。刘杨博士专攻软件验证，软件安全和软件工程，其研究填补了形式化方法和程序分析中理论和实际应用之间的空白，评估了软件的设计与实现以确保高安全性。到目前为止，他已经在顶级会议和顶级期刊上发表了超过300篇文章。他还获得多项著名奖项，包括MSRA fellowship，TRF Fellowship, 南洋助理教授，Tan Chin Tuan Fellowship，Nanyang Research Award 2019，NRF Investigatorship，并且在ASE、FSE、ICSE等顶级会议上获得10项最佳论文奖以及最具影响力软件奖。

 

Kris Gaj    Professor

George Mason University U.S.A.

Post-Quantum Cryptography in Hardware and Embedded Systems: 

Toward Choosing the Most Efficient and Flexible New Public Key Cryptography Standards

 

Post-Quantum Cryptography (PQC) refers to a new class of cryptographic algorithms that are resistant against all known attacks using quantum computers, but at the same time can be implemeted by themselves using traditional computing platforms, such as smartphones, tablets, laptops, and hardware accelerators based on integrated circuits. PQC is a cryptographic community's response to the emerging threat of full-scale quantum computers, expected to be developed within the next decade or two. The main goal of PQC is to replace the existing public-key cryptography standards, protecting the majority of the Internet traffic, such as RSA and Elliptic Curve Cryptography (ECC). The PQC standardization process, launched by the American National Institute of Standards and Technology in 2016, has recently reached Round 3, with 7 finalists and 8 alternate candidates remaining. These algorithms represent five major PQC families: code-based, isogeny-based, lattice-based, multivariate, and symmetric-based, and can be used to implement encryption, digital signature, and key exchange schemes of the future. Implementing PQC algorithms in hardware involves a unique set of challenges. Some of these challenges are specific to the current state of standardization, in which a large number of candidates remain. Others will persist for years after the first standards are published. This talk will summarize the current state of knowledge on the hardware efficiency of candidates for a new PQC standard and describe directions for future research and development in this new exciting area of science and engineering.

 

Kris Gaj is a professor in the ECE Department at George Mason University, U.S.A., located near Washington D.C. He is a co-director of the Cryptographic Engineering Research Group (CERG), involved in the majority of previous and current cryptographic competitions, from AES to PQC. In particular, his team has led hardware evaluation of candidates for the new hash function standard, SHA-3 in 2010-2012, and for the new authenticated cipher portfolio, CAESAR, in 2016-2019. His current research and teaching interests include cryptographic engineering and hardware security, with the special focus on the development of new hardware architectures and embedded system implementations for post-quantum public-key cryptosystems, lightweight cryptography, and codebreaking, as well as benchmarking of cryptographic hardware and embedded systems, high-level synthesis, software/hardware codesign, and side-channel analysis.


蒋力 上海交通大学副教授，博导

从事芯片设计自动化(EDA)，新工艺(ReRAM 等)及算法(深度学习等)与计算机体系结构的协同优化，基于机器学习算法的芯片及硬件系统性能、可靠性提升等。在 EDA 与体系结构领域顶级/主流国 际会议和期刊上发表论文 50 余篇。其中一篇获 ICCAD 最佳论文提名。据 IEEE 数字图书馆统计，5 篇论文在其会议所收录的所有论文中引用数排前 5%。成果得到业界专家高度认可与跟踪引用，包括郑南宁院士，William Dally 院士，Chengming Hu，及数名 ACM/IEEE fellow，部分成果被纳入IEEE P1838标准，与台积电，华为及阿里巴巴合作多项技术落地商用。

论坛主席：                 
王真        上海电力大学

论坛指导委员会： 
韩银和      研究员，中科院计算所

江建慧      教授，同济大学

蒋力         副教授，上海交通大学

乔飞         副研究员，清华大学

容错计算（可靠性与安全性度量和评估、可靠性设计、国防,航天等行业容错系统设计应用、可信与安全芯片）

测试,容错,可信技术的应用

硬件安全（物理不可克隆函数、FPGA安全、硬件辅助软件安全）

领域定制加速器

电动汽车,无人汽车中的测试,可靠,可信,辅助设计技术
物联网测试,可靠性,安全,功耗等相关技术

可重构设计,测试,容错,安全等相关技术

基于随机森林算法的集成电路适应性测试方法

片上网络的测试技术研究

应用直接编程接口技术提高片上系统的UVM验证重用性

基于遗传进化策略的处理器验证方案

ATE高速测试负载版的复用器和解复用器设计

关于无人自主系统试验鉴定的初步思考

基于模板挖掘的程序自动修复方法

基于软件度量的集成测试序列生成方法

一种层次化测试建模及测试用例设计方法

蜕变测试在机器学习领域的应用

基于故障预防的雷达嵌入式软件质量保证研究

X协议环境下GUI自动化测试原理分析及框架设计研究

基于场景分析的卫星运控系统软件测试方法

基于信号量的中断访问冲突规避方法设计与实现

一种基于对抗神经网络的软件缺陷挖掘方法

面向多位扫描单元的可诊断性设计方法

基于扩展日志的开源软件运行时故障诊断及实例研究

针对 RRAM 阵列 IR-Drop 效应对计算精度影响的快速仿真方法

ERMC:统一的高能效高可靠性 DNN 模型压缩框架

训练数据对抗攻击扰动对LeNet-5深度学习模型的鲁棒性影响分析

高轨卫星星载控制计算机可靠性分析

差错容忍的神经网络混合精度量化方法

WiNoC中基于数据包等待时间的无线token机制

基于交叉开关仲裁的流量自适应WiNoC设计

基于跳数的空间TTE 控制网络确定性动态调度算法

微体系结构缓存侧信道攻击与防御综述

防御StarBleed漏洞的FPGA配置位流混淆方法

基于PUF的硬件辅助软件认证方法

基于核函数编程的专用体系结构理论加速比研究

基于忆阻交叉阵列的时钟频率驱动递归神经网络电路设计

图数据压缩格式对广度优先搜索算法影响的特性化分析
基于强化学习的流应用动态自适应检查点机制

基于异步检查点机制的细粒度流分区负载均衡方法

车载以太网测试体系研究与分析

基于改进再分配伪逆法的高速飞行器RCS控制分配设计

自供能存算一体系统中一种可配置DC-DC 转换器的特性研究
忆阻器的三值逻辑门和加法器设计

可重构阵列结构下基于混合粒度的SVDC算法并行化实现

Statistical Static Timing Analysis for Circuit Aging Prediction

A novel cross-project software defect prediction algorithm based on transfer learning

Mutation Testing for Integer-overflow in Ethereum Smart Contract

Sta-SFL: An Effective Framework on Locating Bugs For Mission Critical Software

Research on High Level of Hyper-heuristic Framework for MOTCP

LagNet: Laser-Guided Backdoored Neural Network

Minor sensor fault identification through kernel extreme learning machine based on extended state observer

Linear Active disturbance rejection control design for hypersonic vehicle with packet dropouts

The Non-inclusive Diagnosability of Multiprocessor System based on (n,k)-Star Networks

Integrating Two Logics into One Crossbar Array for Logic Gate Design