add paper titles

papers/README.md

@@ -1,24 +1,26 @@
-
-
 # Papers
 ## "arbitrary write" (Choi et al., 2021)
 
+- title: SMARTIAN: Enhancing Smart Contract Fuzzingwith Static and Dynamic Data-Flow Analyses
 - from: [IEEE](https://ieeexplore.ieee.org/document/9678888)
 - file: [PDF](choi-ase2021.pdf)
 
 ## "buffer-overwrite" (Pani et al., 2023)
 
+- title: SmartFuzzDriverGen: Smart ContractFuzzing Automation for Golang
 - from: [ACM](https://dl.acm.org/doi/fullHtml/10.1145/3578527.3578538)
 - file: [PDF](SmartFuzzDriverGen_ Smart Contract Fuzzing Automation for Golang.pdf)
 
 ## "storage modification" (Krupp and Rossow, 2018)
 
+- title: teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
 - from: [Usenix](https://www.usenix.org/conference/usenixsecurity18/presentation/krupp)
 - talk: [Youtube](https://www.youtube.com/watch?v=mW4jQzPVP_A)
 - file: [PDF](sec18-krupp.pdf)
 
 ## "unrestricted write" (Tsankov et al., 2018)
 
+- title: Securify: Practical Security Analysis of Smart Contracts
 - from: [ACM](https://dl.acm.org/doi/10.1145/3243734.3243780)
 - talk: On ACM page
 - file: [PDF](Securify Practical Security Analysis of Smart Contracts.pdf)