Sally Junsong Wang, Kexin Pei, Junfeng Yang. SmartInv: Multimodal Learning for Smart Contract Invariant Inference. In IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024. pages 2217-2235, IEEE, 2024. [doi]
Abstract is missing.