Author of the publication

Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos.

, , , , , , , and . CCS, page 1182-1196. ACM, (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

IntelliGen: Automatic Driver Synthesis for Fuzz Testing., , , , and . ICSE (SEIP), page 318-327. IEEE, (2021)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)Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos., , , , , , , and . CCS, page 1182-1196. ACM, (2023)Poster: Fuzz Testing of Quantum Program., , and . ICST, page 466-469. IEEE, (2021)EVMFuzzer: detect EVM vulnerabilities via fuzz testing., , , , , , , and . ESEC/SIGSOFT FSE, page 1110-1114. ACM, (2019)Making smart contract development more secure and easier., , , , , , and . ESEC/SIGSOFT FSE, page 1360-1370. ACM, (2021)GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability., , , , , , , and . CoRR, (2019)EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine., , , , , and . CoRR, (2019)Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model., , , , , and . SP, page 2517-2532. IEEE, (2023)