Noninterference Analysis for Smart Contracts: Would You Bet on It?. Guesmi, S., Piazza, C., & Rossi, S. In Proc. of the 6th Distributed Ledger Technology Workshop (DLT 2024), volume 3791, pages 12:1–12:15, Torino (Italy), May, 2024. CEUR-WS.org.
Paper bibtex @inproceedings{GPR24,
author = { S. Guesmi and C. Piazza and S. Rossi},
title = {Noninterference Analysis for Smart Contracts: Would You Bet on It?},
booktitle = {Proc. of the 6th Distributed Ledger Technology Workshop (DLT 2024)},
pages = {12:1--12:15},
volume = {3791},
month = {May},
year = {2024},
url_Paper = {./GPR24.pdf},
address = {Torino (Italy)},
publisher = {CEUR-WS.org},
}
Downloads: 0
{"_id":"KCF78rANNi2g9XJLY","bibbaseid":"guesmi-piazza-rossi-noninterferenceanalysisforsmartcontractswouldyoubetonit-2024","author_short":["Guesmi, S.","Piazza, C.","Rossi, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Guesmi"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["Piazza"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["Rossi"],"suffixes":[]}],"title":"Noninterference Analysis for Smart Contracts: Would You Bet on It?","booktitle":"Proc. of the 6th Distributed Ledger Technology Workshop (DLT 2024)","pages":"12:1–12:15","volume":"3791","month":"May","year":"2024","url_paper":"./GPR24.pdf","address":"Torino (Italy)","publisher":"CEUR-WS.org","bibtex":"@inproceedings{GPR24,\n author = { S. Guesmi and C. Piazza and S. Rossi},\n title = {Noninterference Analysis for Smart Contracts: Would You Bet on It?},\n booktitle = {Proc. of the 6th Distributed Ledger Technology Workshop (DLT 2024)},\n pages = {12:1--12:15},\nvolume = {3791},\nmonth = {May},\n year = {2024},\n url_Paper = {./GPR24.pdf},\naddress = {Torino (Italy)},\n publisher = {CEUR-WS.org},\n\n}\n\n","author_short":["Guesmi, S.","Piazza, C.","Rossi, S."],"key":"GPR24","id":"GPR24","bibbaseid":"guesmi-piazza-rossi-noninterferenceanalysisforsmartcontractswouldyoubetonit-2024","role":"author","urls":{" paper":"http://www.sti.uniurb.it/nirvana/file/papers/GPR24.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.sti.uniurb.it/nirvana/file/papers/biblio.bib","dataSources":["dvDgwv4efmr6Tw5FJ"],"keywords":[],"search_terms":["noninterference","analysis","smart","contracts","bet","guesmi","piazza","rossi"],"title":"Noninterference Analysis for Smart Contracts: Would You Bet on It?","year":2024}