HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
Paper i proceeding, 2024
blockchain security
runtime monitoring
smart contracts
DCR graphs
Författare
Mojtaba Eshghie
Kungliga Tekniska Högskolan (KTH)
Cyrille Artho
Kungliga Tekniska Högskolan (KTH)
Hans Stammler
Kungliga Tekniska Högskolan (KTH)
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Formella metoder
Thomas Troels Hildebrandt
Köpenhamns universitet
Gerardo Schneider
Göteborgs universitet
Proceedings - 2024 39th ACM/IEEE International Conference on Automated Software Engineering, ASE 2024
2378-2381
9798400712487 (ISBN)
Sacramento, USA,
Ämneskategorier (SSIF 2011)
Robotteknik och automation
Datavetenskap (datalogi)
Datorsystem
DOI
10.1145/3691620.3695356