Demystifying Invariant Effectiveness for Securing Smart Contracts
Published:
Zhiyang Chen, Ye Liu, Sidi Beillahi, Yi Li, Fan Long, "Demystifying Invariant Effectiveness for Securing Smart Contracts." In the proceedings of Proceedings of the 32th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2024.
Use Google Scholar for full citation