Formal Methods for the Security Analysis of Smart Contracts

Maffei, Matteo

doi:10.34727/2021/isbn.978-3-85448-046-4_3

Record link:

http://hdl.handle.net/20.500.12708/18610
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_3

Title:

Formal Methods for the Security Analysis of Smart Contracts

Citation:

Maffei, M. (2021). Formal Methods for the Security Analysis of Smart Contracts. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 8–8). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_3

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_3

CatalogPlus:

AC17204151

Publication Type:

Inproceedings - Abstract Book Contribution

Language:

English

Authors:

Maffei, Matteo

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering
E192-06 - Forschungsbereich Security and Privacy