From c976ecb960f482cb97dd806cab3564af0ea0ec86 Mon Sep 17 00:00:00 2001 From: Josselin <josselin@trailofbits.com> Date: Thu, 13 Jun 2019 10:38:37 +0200 Subject: [PATCH] Add Slither paper (WETSEB 19) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 2bb65b9..7d2434a 100644 --- 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