{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"institution":[{"name":"Nanyang Technological University"}],"indexed":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T04:45:19Z","timestamp":1688445919778},"reference-count":0,"publisher":"Nanyang Technological University","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.32657\/10356\/168560","type":"dissertation","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T01:50:21Z","timestamp":1688435421000},"approved":{"date-parts":[[2023]]},"source":"Crossref","is-referenced-by-count":0,"title":["On security and reliability of smart contracts: the applications of dynamic specification mining on solidity"],"prefix":"10.32657","author":[{"sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ye","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"13751","container-title":[],"original-title":[],"deposited":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T01:50:32Z","timestamp":1688435432000},"score":1,"resource":{"primary":{"URL":"https:\/\/hdl.handle.net\/10356\/168560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.32657\/10356\/168560","relation":{},"subject":[]}}