@inproceedings{rv20222,
title={Tainting in Smart Contracts: Combining Static and Runtime Verification}, 
author={Azzopardi, Shaun and Ellul, Joshua and Falzon, Ryan and Pace, Gordon},
year="2022",
booktitle="Runtime Verification (RV)",
}

{"_id":"Lsgfm3qTj2ore9E9k","bibbaseid":"azzopardi-ellul-falzon-pace-taintinginsmartcontractscombiningstaticandruntimeverification-2022","author_short":["Azzopardi, S.","Ellul, J.","Falzon, R.","Pace, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Tainting in Smart Contracts: Combining Static and Runtime Verification","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Ellul"],"firstnames":["Joshua"],"suffixes":[]},{"propositions":[],"lastnames":["Falzon"],"firstnames":["Ryan"],"suffixes":[]},{"propositions":[],"lastnames":["Pace"],"firstnames":["Gordon"],"suffixes":[]}],"year":"2022","booktitle":"Runtime Verification (RV)","bibtex":"@inproceedings{rv20222,\ntitle={Tainting in Smart Contracts: Combining Static and Runtime Verification}, \nauthor={Azzopardi, Shaun and Ellul, Joshua and Falzon, Ryan and Pace, Gordon},\nyear=\"2022\",\nbooktitle=\"Runtime Verification (RV)\",\n}\n\n","author_short":["Azzopardi, S.","Ellul, J.","Falzon, R.","Pace, G."],"key":"rv20222","id":"rv20222","bibbaseid":"azzopardi-ellul-falzon-pace-taintinginsmartcontractscombiningstaticandruntimeverification-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["tainting","smart","contracts","combining","static","runtime","verification","azzopardi","ellul","falzon","pace"],"title":"Tainting in Smart Contracts: Combining Static and Runtime Verification","year":2022}