Refinement-based specification and security analysis of separation kernels

بواسطة Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
منشور في 2020

A comprehensive formal specification of ARINC 653 with conformity proof

بواسطة FENG, Zhang, ZHAO, Yongwang, YANG, Liu, SUN, Jun
منشور في 2024

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

بواسطة Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang
منشور في 2023

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

بواسطة ZHANG, Feng, ZHANG, Leping, ZHAO, Yongwang, LIU, Yang, SUN, Jun
منشور في 2023

Compositional reasoning for shared-variable concurrent programs

بواسطة ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
منشور في 2018