Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control

Reviewed Paper In Proceedings

Author(s):Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, and Bernhard Beckert
In:SACMAT '21: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies
Publisher:Association for Computing Machinery (ACM)
Year:2021
Pages:125-130
DOI:10.1145/3450569.3463574

BibTeX

@inproceedings{schiffl_towards_2021,
	title = {Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control},
	rights = {All rights reserved},
	isbn = {978-1-4503-8365-3},
	doi = {10.1145/3450569.3463574},
	eventtitle = {26th {ACM} Symposium on Access Control Models and Technologies},
	pages = {125--130},
	booktitle = {{SACMAT} '21: Proceedings of the 26th {ACM} Symposium on
                     Access Control Models and Technologies},
	publisher = {Association for Computing Machinery ({ACM})},
	author = {Jonas Schiffl and Matthias Grundmann and Marc Leinweber and
                  Oliver Stengele and Sebastian Friebe and Bernhard Beckert},
	month = jun,
	year = {2021}
}