Fully automated differential fault analysis on software implementations of block ciphers

by Hou, Xiaolu, Breier, Jakub, Zhang, Fuyuan, Liu, Yang
Published 2020

Refinement-based specification and security analysis of separation kernels

by Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
Published 2020

Compositional reasoning for shared-variable concurrent programs

by ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
Published 2018

Generative model-based testing on decision-making policies

by LI, Zhuo, WU, Xiongfei, ZHU, Derui, CHENG, Mingfei, CHEN, Siyuan, ZHANG, Fuyuan, XIE, Xiaofei, MA, Lei, ZHAO, Jianjun
Published 2023