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

@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}
}