Refinement-based specification and security analysis of separation kernels

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

A formal methodology for verifying side-channel vulnerabilities in cache architectures

by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang
Published 2023

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B

by ZHANG, Feng, ZHANG, Leping, ZHAO, Yongwang, LIU, Yang, SUN, Jun
Published 2023

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