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