Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

Smart Contract Evaluation

Yi Li and Ye Liu

W.O. Patent No. 2023/195920 A1, 2023-10-12

Abstract: Systems and methods for identifying a permission bug in a contract by performing role-mining to recover role structures of the contract based on a user permission assignment (UPA) obtained from transaction history. The UPA contains a set of observed permissions assigned to each user. Further, creating an access control policy specification based on the recovered role structures of the contract and identifying the permission bug by conformance testing based on the access control policy specification.

Cite:

@patent{Li2023SCE,
  author = {Li, Yi and Liu, Ye},
  date = {2023-10-12},
  location = {World Intellectual Property Organization},
  number = {W.O. Patent No. 2023/195920 A1},
  title = {Smart Contract Evaluation}
}