Computationally sound mechanized proofs for Diffie-Hellman key exchange protocols by FENG Chao, ZHANG Quan, TANG Chao-jing

Get full text

Evaluating the network security by the Read_Write transition model by LU Zhi-yong1, 2, FENG Chao1, YU Hui2

Get full text

Crystal structure of diaqua-bis[5-methyl-1-(1H-pyrazol-3-yl)-1H-1,2,3-triazole-4-carboxylato-κ 2 N,O)]manganese(II), C14H16MnN10O6 by Guo Jing-Jing, Zhang Xin-Yue, Deng Hou-Lu, Zhu Zi-Yue, Yang Jian, Feng Chao

Get full text

Performance of high-strength and heat-resistant cast aluminum alloy and its complex shell castings for aircraft engines by QIE Juhong, XIE Feng, FENG Chao, WANG Pinghai, YU Tengfei, YANG Chaoyang, XI Honglei, XIAO Wenlong, MA Chaoli

Get full text

The twinned crystal structure of 10-(4-methyl benzoate)-2,8-diethyl-5,5-difluoro-1,3,7,9-tetramethyl-5H-di-pyrrolo[1,2-c:2′,1′-f] [1,3,2]diazaborinin-4-ium-5-uide, C25H29BF2N2O2... by Usman Rabia, Bin-Jumah May Nasser, Altamimi Abeer A., Baeshen Kholoud A., Feng Chao, Al-Qhatani Mohsen Mohammed, Henidi Hanan A.

Get full text

Gypsum heterogenous nucleation pathways regulated by surface functional groups and hydrophobicity by Yan-Fang Guan, Xiang-Yu Hong, Vasiliki Karanikola, Zhangxin Wang, Weiyi Pan, Heng-An Wu, Feng-Chao Wang, Han-Qing Yu, Menachem Elimelech

Get full text