Author of the publication

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.

, , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 425-449. Springer, (2022)

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

Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 429-452. Springer, (2021)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 425-449. Springer, (2022)Inductive Predicate Synthesis Modulo Programs., , , , , and . ECOOP, volume 313 of LIPIcs, page 43:1-43:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Empathy, Design and Human Factors., , , and . AHFE (23), volume 607 of Advances in Intelligent Systems and Computing, page 569-579. Springer, (2017)Inductive Predicate Synthesis Modulo Programs (Extended)., , , , , and . CoRR, (2024)LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper (Extended).. CoRR, (2024)LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.. RC, volume 14680 of Lecture Notes in Computer Science, page 142-160. Springer, (2024)RaMP: A Lightweight RDMA Abstraction for Loosely Coupled Applications., , , , , , , and . HotCloud, USENIX Association, (2018)