Refinement-based specification and security analysis of separation kernels

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

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

by Le, Xuan-Bach, Lin, Shang-Wei, Sun, Jun, Sanan, David
Published 2023

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

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

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

by LE, Xuan-Bach, SANAN, David, SUN, Jun, LIN, Shang-Wei
Published 2020

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

by LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
Published 2022

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

by LE, Xuan Bach, LIN, Shang-Wei, SUN, Jun, SANAN, David
Published 2022

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

by ZHENG, Manchun, SANÁN, David, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
Published 2013

Semantic understanding of smart contracts: Executable operational semantics of solidity

by JIAO, Jiao, KAN, Shuanglong, LIN, Shang Wei, SANAN, David, LIU, Yang, SUN, Jun
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