Refinement-based specification and security analysis of separation kernels

由 Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
出版 2020

A Quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic

由 Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David
出版 2023

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

由 Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang
出版 2023

Automatic verification of multi-threaded programs by inference of rely-guarantee specifications

由 LE, Xuan-Bach, SANAN, David, SUN, Jun, LIN, Shang-Wei
出版 2020

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

由 LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
出版 2022

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

由 LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
出版 2022

State space reduction for sensor networks using two-level partial order reduction

由 ZHENG, Manchun, SANÁN, David, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
出版 2013

Semantic understanding of smart contracts: Executable operational semantics of solidity

由 JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun
出版 2020

Compositional reasoning for shared-variable concurrent programs

由 ZHANG, Fuyuan, ZHAO, Yongwang, SANAN, David, LIU, Yang, TIU, Alwen, LIN, Shang-Wei, SUN, Jun
出版 2018