@InProceedings{Shaun_Azzopardi48593129,
author="Azzopardi, Shaun
and Ellul, Joshua
and Pace, Gordon J.",
editor="Colombo, Christian
and Leucker, Martin",
title="Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond",
booktitle="Runtime Verification",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="113--137",
abstract="Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool ContractLarva and outline its use in instrumenting monitors in smart contracts written in Solidity, for the Ethereum blockchain-based distributed computing platform. We discuss the challenges faced in doing so, and how some of these can be addressed, using the ERC-20 token standard to illustrate the techniques. We conclude by proposing a list of open challenges in smart contract and blockchain monitoring.",
isbn="978-3-030-03769-7",
url="https://doi.org/10.1007/978-3-030-03769-7_8"
}

{"_id":"LSR6aqNYiKeouZ34R","bibbaseid":"azzopardi-ellul-pace-monitoringsmartcontractscontractlarvaandopenchallengesbeyond-2018","authorIDs":["8sEvMX4Nga4Xz4o3t"],"author_short":["Azzopardi, S.","Ellul, J.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Ellul"],"firstnames":["Joshua"],"suffixes":[]},{"propositions":[],"lastnames":["Pace"],"firstnames":["Gordon","J."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Colombo"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Leucker"],"firstnames":["Martin"],"suffixes":[]}],"title":"Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond","booktitle":"Runtime Verification","year":"2018","publisher":"Springer International Publishing","address":"Cham","pages":"113–137","abstract":"Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool ContractLarva and outline its use in instrumenting monitors in smart contracts written in Solidity, for the Ethereum blockchain-based distributed computing platform. We discuss the challenges faced in doing so, and how some of these can be addressed, using the ERC-20 token standard to illustrate the techniques. We conclude by proposing a list of open challenges in smart contract and blockchain monitoring.","isbn":"978-3-030-03769-7","url":"https://doi.org/10.1007/978-3-030-03769-7_8","bibtex":"@InProceedings{Shaun_Azzopardi48593129,\nauthor=\"Azzopardi, Shaun\nand Ellul, Joshua\nand Pace, Gordon J.\",\neditor=\"Colombo, Christian\nand Leucker, Martin\",\ntitle=\"Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond\",\nbooktitle=\"Runtime Verification\",\nyear=\"2018\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"113--137\",\nabstract=\"Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool ContractLarva and outline its use in instrumenting monitors in smart contracts written in Solidity, for the Ethereum blockchain-based distributed computing platform. We discuss the challenges faced in doing so, and how some of these can be addressed, using the ERC-20 token standard to illustrate the techniques. We conclude by proposing a list of open challenges in smart contract and blockchain monitoring.\",\nisbn=\"978-3-030-03769-7\",\nurl=\"https://doi.org/10.1007/978-3-030-03769-7_8\"\n}\n\n\n\n","author_short":["Azzopardi, S.","Ellul, J.","Pace, G. J."],"editor_short":["Colombo, C.","Leucker, M."],"key":"Shaun_Azzopardi48593129","id":"Shaun_Azzopardi48593129","bibbaseid":"azzopardi-ellul-pace-monitoringsmartcontractscontractlarvaandopenchallengesbeyond-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-03769-7_8"},"metadata":{"authorlinks":{"azzopardi, s":"https://shaunazzopardi.github.io/"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","creationDate":"2020-08-01T07:41:07.314Z","downloads":2,"keywords":[],"search_terms":["monitoring","smart","contracts","contractlarva","open","challenges","beyond","azzopardi","ellul","pace"],"title":"Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond","year":2018,"dataSources":["mtLriRvYqkiErXwmg"]}