Browsing by Author Zhang, Fuyuan

Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)
2019Fully automated differential fault analysis on software implementations of block ciphersHou, Xiaolu; Breier, Jakub; Zhang, Fuyuan; Liu, Yang
2019Refinement-based specification and security analysis of separation kernelsZhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang