Add Slither paper (WETSEB 19)

decrypto-org · Jun 13, 2019 · c976ecb · c976ecb
1 parent 9618af8
commit c976ecb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -108,6 +108,7 @@ peer-reviewed and presented in academic conferences.
 - 🎓 ["Zeus": Analyzing Safety of Smart Contracts](http://wp.internetsociety.org/ndss/wp-content/uploads/sites/25/2018/02/ndss2018_09-1_Kalra_paper.pdf). Kalra S, Goel S, Dhawan M, Sharma S. NDSS '18.
 - 🎓 [How to Use Bitcoin to Design Fair Protocols](https://eprint.iacr.org/2014/129.pdf). Bentov I, Kumaresan R. CRYPTO '14.
 - 🎓 [The Gap Game](http://delivery.acm.org/10.1145/3250000/3243737/p713-tsabary.pdf). Tsabary I., Eyal I. ACM CCS '18.
+- 🎓 [Slither: A Static Analysis Framework For SmartContracts](https://agroce.github.io/wetseb19.pdf). Feist J., Grieco G., Groce A. WETSEB '19.
 
 ## Marketplaces and Trust