Automatic program analysis and verification and their applications in smart contracts

by Jiao, Jiao
Published 2021

A generalized formal semantic framework for smart contracts

by JIAO, Jiao, LIN, Shang-Wei, SUN, Jun
Published 2020

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

Shaping a subwavelength needle with ultra-long focal length by focusing azimuthally polarized light

by Qin, Fei, Huang, Kun, Wu, Jianfeng, Jiao, Jiao, Luo, Xiangang, Qiu, Chengwei, Hong, Minghui
Published 2016