@inproceedings{rv22-2,
title={Tainting in Smart Contracts: Combining Static and Runtime Verification}, 
author={Shaun Azzopardi, Joshua Ellul, Ryan Falzon and Gordon Pace},
year="2022",
booktitle="22nd International Conference on Runtime Verification (RV)",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74145/319772.pdf?sequence=1"
}

{"_id":"eASbnCupdRn9YsYos","bibbaseid":"shaunazzopardi-pace-taintinginsmartcontractscombiningstaticandruntimeverification-2022","author_short":["Shaun Azzopardi, J. E.","Pace, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Tainting in Smart Contracts: Combining Static and Runtime Verification","author":[{"propositions":[],"lastnames":["Shaun","Azzopardi"],"firstnames":["Joshua","Ellul"],"suffixes":["Ryan","Falzon"]},{"firstnames":["Gordon"],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"year":"2022","booktitle":"22nd International Conference on Runtime Verification (RV)","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74145/319772.pdf?sequence=1","bibtex":"@inproceedings{rv22-2,\ntitle={Tainting in Smart Contracts: Combining Static and Runtime Verification}, \nauthor={Shaun Azzopardi, Joshua Ellul, Ryan Falzon and Gordon Pace},\nyear=\"2022\",\nbooktitle=\"22nd International Conference on Runtime Verification (RV)\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74145/319772.pdf?sequence=1\"\n}\n\n","author_short":["Shaun Azzopardi, J. E.","Pace, G."],"key":"rv22-2","id":"rv22-2","bibbaseid":"shaunazzopardi-pace-taintinginsmartcontractscombiningstaticandruntimeverification-2022","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74145/319772.pdf?sequence=1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["tainting","smart","contracts","combining","static","runtime","verification","shaun azzopardi","pace"],"title":"Tainting in Smart Contracts: Combining Static and Runtime Verification","year":2022}