Title:
APPARATUS AND METHOD FOR OBTAINING VULNERABLE TRANSACTION SEQUENCE IN SMART CONTRACT
Document Type and Number:
WIPO Patent Application WO/2022/102879
Kind Code:
A1
Abstract:
The present invention relates to an apparatus and method for obtaining a vulnerable transaction sequence, and the apparatus for obtaining a vulnerable transaction sequence may comprise: a storage unit for transitorily or non-transitorily storing at least one program; and a processor for receiving the at least one program, selecting a vulnerable transaction sequence candidate in the at least one program by using a cost function, obtaining a verification condition by performing symbolic execution on the transaction sequence candidate, identifying whether the verification condition is satisfied if a vulnerable transaction sequence is not found as a result of verifying the verification condition, and determining the vulnerable transaction sequence candidate as a vulnerable transaction sequence if the verification condition is satisfied.
More Like This:
Inventors:
OH HAKJOO (KR)
SO SUNBEOM (KR)
HONG SEONGJOON (KR)
SO SUNBEOM (KR)
HONG SEONGJOON (KR)
Application Number:
PCT/KR2021/004271
Publication Date:
May 19, 2022
Filing Date:
April 06, 2021
Export Citation:
Assignee:
UNIV KOREA RES & BUS FOUND (KR)
International Classes:
G06F11/36
Foreign References:
| US20200128043A1 | 2020-04-23 | |||
| US20200021439A1 | 2020-01-16 | |||
| KR20200116011A | 2020-10-08 |
Other References:
SUNBEOM SO; MYUNGHO LEE; JISU PARK; HEEJO LEE; HAKJOO OH: "VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 29 August 2019 (2019-08-29), 201 Olin Library Cornell University Ithaca, NY 14853 , XP081489331
YUEPENG WANG; SHUVENDU K. LAHIRI; SHUO CHEN; RONG PAN; ISIL DILLIG; CODY BORN; IMMAD NASEER: "Formal Specification and Verification of Smart Contracts for Azure Blockchain", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 20 December 2018 (2018-12-20), 201 Olin Library Cornell University Ithaca, NY 14853 , XP081200287
ELVIRA ALBERT; JES\US CORREAS; PABLO GORDILLO; GUILLERMO ROM\AN-D\IEZ; ALBERT RUBIO: "SAFEVM: A Safety Verifier for Ethereum Smart Contracts", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 12 June 2019 (2019-06-12), 201 Olin Library Cornell University Ithaca, NY 14853 , XP081376312
SO, SUN BEOM: "Smart Contract Safety Verification Automatically", COMMUNICATIONS OF THE KOREAN INSTITUTE OF INFORMATION SCIENTISTS AND ENGINEER, vol. 37, no. 3, 1 March 2019 (2019-03-01), pages 8 - 12, XP009536798, ISSN: 1229-6821
YUEPENG WANG; SHUVENDU K. LAHIRI; SHUO CHEN; RONG PAN; ISIL DILLIG; CODY BORN; IMMAD NASEER: "Formal Specification and Verification of Smart Contracts for Azure Blockchain", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 20 December 2018 (2018-12-20), 201 Olin Library Cornell University Ithaca, NY 14853 , XP081200287
ELVIRA ALBERT; JES\US CORREAS; PABLO GORDILLO; GUILLERMO ROM\AN-D\IEZ; ALBERT RUBIO: "SAFEVM: A Safety Verifier for Ethereum Smart Contracts", ARXIV.ORG, CORNELL UNIVERSITY LIBRARY, 201 OLIN LIBRARY CORNELL UNIVERSITY ITHACA, NY 14853, 12 June 2019 (2019-06-12), 201 Olin Library Cornell University Ithaca, NY 14853 , XP081376312
SO, SUN BEOM: "Smart Contract Safety Verification Automatically", COMMUNICATIONS OF THE KOREAN INSTITUTE OF INFORMATION SCIENTISTS AND ENGINEER, vol. 37, no. 3, 1 March 2019 (2019-03-01), pages 8 - 12, XP009536798, ISSN: 1229-6821
Attorney, Agent or Firm:
KIM, Hong Suk (KR)
Download PDF: