Part III. APRIL 14. Program Analysis of Smart Contracts

1. 
Author: Luu et al.
Title: Making Smart Contracts Smarter
Venue: CCS'16
Web link: https://eprint.iacr.org/2016/633.pdf
Suggestion: Teach us about underlying protocols and how smart contracts work

PRESENTERS: Bowen and ?

2. Slither
Authors: Feist et al.
Title: Slither: A Static Analysis Framework For Smart Contracts
Venue: Wetseb'19 (A workshop)
Web link: https://arxiv.org/pdf/1908.09878

PRESENTERS: Sanjay and ?

3. 
Authors: Chaliasos et al.
Title: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Venue: ICSE'24
Web link: https://dl.acm.org/doi/pdf/10.1145/3597503.3623302

PRESENTERS: Rayeed and Saikat