Author of the publication

LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.

, , , , , , , and . NDSS, The Internet Society, (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

Chinese Stock Market Efficiency of Capital Allocation Function., and . WHICEB, page 11. Association for Information Systems, (2016)GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability., , , , , , , and . CoRR, (2019)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)Security reinforcement for Ethereum virtual machine., , , , , , and . Inf. Process. Manag., 58 (4): 102565 (2021)Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios., , , , , , , , , and . IEEE Trans. Software Eng., 48 (11): 4380-4396 (2022)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)EVM*: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine., , , , , , , and . SANER, page 554-558. IEEE, (2019)Locally private Jaccard similarity estimation., , , , , and . Concurr. Comput. Pract. Exp., (2019)SCStudio: a secure and efficient integrated development environment for smart contracts., , , , , , and . ISSTA, page 666-669. ACM, (2021)