External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts

Jianjun Huang 0001, Jiasheng Jiang, Wei You, Bin Liang 0002. Precise Dynamic Symbolic Execution for Nonuniform Data Access in Smart Contracts. IEEE Transactions on Computers, 71(7):1551-1563, 2022. [doi]

Authors

Jianjun Huang 0001

This author has not been identified. Look up 'Jianjun Huang 0001' in Google

Jiasheng Jiang

This author has not been identified. Look up 'Jiasheng Jiang' in Google

Wei You

This author has not been identified. Look up 'Wei You' in Google

Bin Liang 0002

This author has not been identified. Look up 'Bin Liang 0002' in Google
runs on