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

Low-power high-yield SRAM design with VSS adaptive boosting and BL capacitance variation sensing., , , , , and . ASICON, page 1-4. IEEE, (2013)Improved detection for copy-move forgery with multi-scale sliding windows., , , and . ISPACS, page 231-236. IEEE, (2017)Constructing the Business Process of an Application System Based on Windows Workflow Foundation., , and . CONFENIS (1), volume 254 of IFIP, page 609-615. Springer, (2007)Product Integrated Innovation Based on Function., , , and . IFIP CAI, volume 304 of IFIP Advances in Information and Communication Technology, page 59-69. Springer, (2009)Domain-Driven Probabilistic Analysis of Programmable Logic Controllers., , , , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 115-130. Springer, (2011)Agile Testing of Location Based Services., , , , and . XP, volume 3556 of Lecture Notes in Computer Science, page 239-242. Springer, (2005)Nirvana: Clinical Grade Variant Annotator., , , , , and . BCB, page 596. ACM, (2017)基于断裂结构线匹配模型的大破损区域图像修复算法 (Large Damaged Area Image Inpainting Algorithm Based on Matching Model for Broken Structure Line)., , , and . 计算机科学, 43 (10): 292-296 (2016)Enabling clone detection for ethereum via smart contract birthmarks., , , , and . ICPC, page 105-115. IEEE / ACM, (2019)Answering the Min-Cost Quality-Aware Query on Multi-sources in Sensor-Cloud Systems., , , and . SpaCCS, volume 11342 of Lecture Notes in Computer Science, page 156-165. Springer, (2018)