{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:35Z","timestamp":1776305015620,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,13]]},"DOI":"10.1109\/percomworkshops56833.2023.10150247","type":"proceedings-article","created":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T15:02:56Z","timestamp":1687532576000},"page":"80-85","source":"Crossref","is-referenced-by-count":9,"title":["MichelsonLiSA: A Static Analyzer for Tezos"],"prefix":"10.1109","author":[{"given":"Luca","family":"Olivieri","sequence":"first","affiliation":[{"name":"University of Verona,Corvallis S.r.l.,Verona\/Padua,Italy"}]},{"given":"Thomas","family":"Jensen","sequence":"additional","affiliation":[{"name":"INRIA,Rennes,France"}]},{"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice,Corvallis S.r.l.,Venice,Padua,Italy"}]},{"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[{"name":"University of Verona,Verona,Italy"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3520313.3534658"},{"key":"ref12","author":"reis","year":"0","journal-title":"Tezla test repository"},{"key":"ref15","first-page":"arxiv","article-title":"Whylson: Proving your michelson smart contracts in why3","author":"da horta","year":"2020","journal-title":"ArXiv e-prints"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61467-6_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194021500303"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3373924"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"ref1","author":"cousot","year":"2021","journal-title":"Principles of Abstract Interpretation"},{"key":"ref17","article-title":"Tezla, an intermediate representation for static analysis of michelson smart contracts","author":"reis","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-022-00167-1"},{"key":"ref19","article-title":"Design of a modular platform for static analysis","author":"min\u00e9","year":"0","journal-title":"9th Workshop on Tools for Automatic Program Analysis 2018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3520313.3534660"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_10"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref4","author":"parr","year":"0","journal-title":"ANTLR website"},{"key":"ref3","author":"negrini","year":"2023","journal-title":"A generic framework for multilanguage analysis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"}],"event":{"name":"2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)","location":"Atlanta, GA, USA","start":{"date-parts":[[2023,3,13]]},"end":{"date-parts":[[2023,3,17]]}},"container-title":["2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10149845\/10150216\/10150247.pdf?arnumber=10150247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:41:31Z","timestamp":1689010891000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10150247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/percomworkshops56833.2023.10150247","relation":{},"subject":[],"published":{"date-parts":[[2023,3,13]]}}}