Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Wang, Wansen"'
Autor:
Wang, Wansen, Huang, Wenchao, Meng, Zhaoyi, Xiong, Yan, Miao, Fuyou, Fang, Xianjin, Tu, Caichang, Ji, Renjie
Publikováno v:
In 32nd USENIX Security Symposium (USENIX Security 2023) (pp. 3367-3383)
At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely analyze the financial security of large numbers of contracts. In this pap
Externí odkaz:
http://arxiv.org/abs/2208.12960
Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel
Externí odkaz:
http://arxiv.org/abs/1807.00669
Autor:
Zhang, Xiaohong, Wang, Wansen
Publikováno v:
Journal of Intelligent & Fuzzy Systems. 2014, Vol. 26 Issue 3, p1311-1321. 11p.
Autor:
Wang, Wansen, Wang, Guizhen
Publikováno v:
Knowledge Engineering & Management (9783642549298); 2014, p345-354, 10p
Autor:
Wang, Wansen, Li, Peishen
Publikováno v:
Knowledge Engineering & Management (9783642549298); 2014, p11-20, 10p
Autor:
Wang, Wansen, Li, Rui
Publikováno v:
Foundations of Intelligent Systems Proceedings of the Eighth International Conference on Intelligent Systems & Knowledge Engineering; 2014, p567-576, 10p
Autor:
Wang, Wansen, Peng, Yaya
Publikováno v:
2013 Ninth International Conference on Natural Computation (ICNC); 2013, p1026-1030, 5p
Autor:
Wang, Wansen, Niu, Huifang
Publikováno v:
2012 IEEE 2nd International Conference on Cloud Computing & Intelligence Systems; 2012 Volume 2, p924-927, 4p
Autor:
Wang, Wansen, Ding, Wenlan
Publikováno v:
2012 IEEE 2nd International Conference on Cloud Computing & Intelligence Systems; 2012 Volume 2, p919-923, 5p
Publikováno v:
2012 9th International Conference on Fuzzy Systems & Knowledge Discovery; 1/ 1/2012, p930-933, 4p