From 3a35fae67f1c2fa81a30ac1642cdd0582794f39b Mon Sep 17 00:00:00 2001 From: Josselin Date: Thu, 13 Jun 2019 11:28:40 +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..91ce7ea 100644 --- a/README.md +++ b/README.md @@ -216,6 +216,7 @@ peer-reviewed and presented in academic conferences. - [Town crier: An authenticated data feed for smart contracts](https://eprint.iacr.org/2016/168.pdf). Zhang F, Cecchetti E, Croman K, Juels A, Shi E. CCS '16. - 🎓 [A Smart Contract for Boardroom Voting with Maximum Voter Privacy](http://fc17.ifca.ai/preproceedings/paper_80.pdf). McCorry P, Shahandashti SF, Hao F. FC '17. - 🎓 [Constant-deposit multiparty lotteries on Bitcoin](http://fc17.ifca.ai/bitcoin/papers/bitcoin17-final39.pdf). Bartoletti M, Zunino R. FC '17. +- 🎓 [Slither: A Static Analysis Framework For Smart Contracts](https://agroce.github.io/wetseb19.pdf). Feist J., Grieco G., Groce A. WETSEB '19. ## Formal Methods