( en | de | ru )

 

Disambiguierung von "Zhang, Qianying"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

, , , , , und . ICFEM, Volume 11852 von Lecture Notes in Computer Science, Seite 121-137. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Qianying Chen

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Shuying Zhang

Yue Zhang

 

Weitere Publikationen von Autoren mit dem selben Namen

sHMQV: An Efficient Key Exchange Protocol for Power-Limited Devices., und . ISPEC, Volume 9065 von Lecture Notes in Computer Science, Seite 154-167. Springer, (2015)函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus)., , , , , und . 计算机科学, 43 (11): 24-29 (2016)Urban Disaster Comprehensive Risk Assessment Research Based on GIS: A Case Study of Changsha City, Hunan Province, China., , , und . GRMSE, Volume 569 von Communications in Computer and Information Science, Seite 95-106. Springer, (2015)Mdaak: A Flexible and Efficient Framework for Direct Anonymous Attestation on Mobile Devices., , , , und . ICICS, Volume 8958 von Lecture Notes in Computer Science, Seite 31-48. Springer, (2014)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , und . APSEC, Seite 355-362. IEEE, (2019)Formalizing the Transaction Flow Process of Hyperledger Fabric., , , , und . ICFEM, Volume 12531 von Lecture Notes in Computer Science, Seite 233-250. Springer, (2020)Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics., , , , und . SETTA, Volume 13071 von Lecture Notes in Computer Science, Seite 61-80. Springer, (2021)Formal Verification of Interrupt Isolation for the TrustZone-based TEE., , , , , , und . APSEC, Seite 309-318. IEEE, (2023)Design and Implementation of OOM Module based on Rust., , , , und . QRS Companion, Seite 774-775. IEEE, (2022)A Unified Security Analysis of Two-Phase Key Exchange Protocols in TPM 2.0., und . TRUST, Volume 9229 von Lecture Notes in Computer Science, Seite 40-57. Springer, (2015)