Dr. Siqi Lu Profile

Dr. Siqi Lu

at Henan Key Lab. of Network Cryptography Technology

SPIE Involvement:

Author

Publications (2)

This will count as one of your downloads.

You will have access to both the presentation and article (if available).

DOWNLOAD NOW

This content is available for download via your institution's subscription. To access this item, please sign in to your personal account.

Email or Username Forgot your username?

Password Forgot your password?

Show

Keep me signed in

No SPIE account? Create an account

Proceedings Article | 5 July 2024 Paper

Smart contract fuzzy testing vulnerability detection method based on MDP and simulated annealing

Zhichao Li, Ying Xing, Siqi Lu, Heng Pan, Yushu Li, Deng Xiang

Proceedings Volume 13184, 131846J (2024) https://doi.org/10.1117/12.3033128

KEYWORDS: Algorithms, Fuzzy logic, Information security, Blockchain

Read Abstract +

With the rapid development of blockchain technology, smart contracts, as its core component, are widely used in various fields. However, with the increase in the number and complexity of smart contracts, their security has become a key issue. Currently, fuzzy testing is the mainstream dynamic security testing technique in the field of Ethereum smart contracts, generating a large number of test cases and executing them to discover vulnerabilities. However, due to the difficulty in covering the deep branching code of smart contracts, vulnerability detection is not comprehensive enough. In order to solve the problem of the difficulty of deep branch code coverage of smart contracts, this paper proposes a fuzzy testing method for smart contracts based on MDP and simulated annealing algorithm, i.e., VMFUZZ. This method first models the execution process of smart contracts as MDP, and then combines with the simulated annealing algorithm to generate the transaction sequences that are prone to triggering vulnerabilities in order to comprehensively cover the execution situation of the contract. Finally, a large number of new test cases are generated through fuzzy testing to detect vulnerabilities. The experimental results show that VMFUZZ is improved in code coverage compared to ILF and has a higher detection rate in vulnerability detection capability.

Proceedings Article | 22 April 2022 Paper

A highly secure C2C-PAKE cross-domain protocol

Xiangyang Wang, Chunxiang Gu, Siqi Lu, Xi Chen

Proceedings Volume 12175, 121750O (2022) https://doi.org/10.1117/12.2628502

KEYWORDS: Computer security, Network security, Cryptography

Read Abstract +

This paper studies the password-based strong authentication key exchange protocol in the cross-domain scenario, and gives an end-to-end highly secure C2C-PAKE protocol, in which the server shares a password with the client and also has a pair of private/public keys. In contrast, the client has the shared password and the server's public-key. Specifically, we combine the ECQV implicit certificate scheme with the ECDH key exchange protocol to give a highly secure cross-domain protocol. Considering the application of the ECQV implicit certificate scheme in the Internet of Things (IoT), we give an analysis the possibility of the proposed protocol applied in the cross-domain scenario of the IoT. Finally, based on some common attacks, we show a security analysis of our protocol, which achieves perfect forward security and resists dictionary attacks, KCI attacks, replay attacks, Insider-Assisted attacks, and so on.

My Library

You currently do not have any folders to save your paper to! Create a new folder below.

Folder Name

Folder Description

View contact details

UPDATE YOUR PROFILE

Is this your profile? Update it now.

Sign into your SPIE.org account

Don’t have a profile and want one?

Create an account on SPIE.org

Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks. You are receiving this notice because your organization may not have SPIE eBooks access.*

*Shibboleth/Open Athens users─please sign in to access your institution's subscriptions.

To obtain this item, you may purchase the complete book in print or electronic format on SPIE.org.

ORGANIZATIONAL
Sign in with credentials provided by your organization.

Organizational Username

Organizational Password

Show/Hide Password

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members:

Non-members: ADD TO CART

Keywords/Phrases

Search In:

Publication Years