Author of the publication

Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model.

, , , , , and . SP, page 2517-2532. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine., , , , , , , and . SANER, page 554-558. IEEE, (2019)SCStudio: a secure and efficient integrated development environment for smart contracts., , , , , , and . ISSTA, page 666-669. ACM, (2021)EVMFuzz: Differential fuzz testing of Ethereum virtual machine., , , , , , and . J. Softw. Evol. Process., (April 2024)Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios., , , , , , , , , and . IEEE Trans. Software Eng., 48 (11): 4380-4396 (2022)Security reinforcement for Ethereum virtual machine., , , , , , and . Inf. Process. Manag., 58 (4): 102565 (2021)V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability., , , , , , , and . ACM Trans. Internet Techn., 23 (3): 40:1-40:22 (August 2023)IntelliGen: Automatic Driver Synthesis for Fuzz Testing., , , , and . ICSE (SEIP), page 318-327. IEEE, (2021)GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability., , , , , , , and . CoRR, (2019)Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization., , , , , and . ACM Trans. Softw. Eng. Methodol., 32 (1): 7:1-7:30 (January 2023)EVMFuzzer: detect EVM vulnerabilities via fuzz testing., , , , , , , and . ESEC/SIGSOFT FSE, page 1110-1114. ACM, (2019)