YACL Talk | Feb 13, 11:00am | Yinxi Liu, RIT - Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution

11 views
Skip to first unread message

Aviv Yaish

unread,
Feb 6, 2026, 4:34:46 PMFeb 6
to Yale Applied Cryptography Mailing List
See more details in: https://sites.google.com/view/yacl/seminar
Reply all
Reply to author
Forward
0 new messages