Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2404.14580
Cited By
Demystifying Invariant Effectiveness for Securing Smart Contracts
22 April 2024
Zhiyang Chen
Ye Liu
Sidi Mohamed Beillahi
Yi Li
Fan Long
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Demystifying Invariant Effectiveness for Securing Smart Contracts"
1 / 1 papers shown
Title
Automated Attack Synthesis for Constant Product Market Makers
Sujin Han
Jinseo Kim
Sung-Ju Lee
Insu Yun
37
0
0
08 Apr 2024
1
