30 citations · 46 across the 10 of their papers we have counts for
4 papers · 1 filter
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
Wansen Wang, Wenchao Huang, Zhaoyi Meng +5
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 ana…
Threshold Changeable Secret Sharing Scheme and Its Application to Group Authentication
Fuyou Miao, Yue Yu, Keju Meng +2
Group oriented applications are getting more and more popular in mobile Internet and call for secure and efficient secret sharing (SS) scheme to meet their requirements. A …
Verifying Security Protocols using Dynamic Strategies
Yan Xiong, Cheng Su, Wenchao Huang +3
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 th…
A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET
Qiwei Lu, Wenchao Huang, Xudong Gong +3
With the rapid development of MANET, secure and practical authentication is becoming increasingly important. The existing works perform the research from two aspects, i.e., (a)secu…