Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
hzysvilla authored Nov 20, 2022
1 parent 8b55694 commit 76743af
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -1066,6 +1066,10 @@ Bingyu Gao, Haoyu Wang, Pengcheng Xia, Siwei Wu, Yajin Zhou, Xiapu Luo, Gareth T

W Chen, X Li, Y Sui, N He, H Wang, L Wu. SIGMETRICS2021

[security] [Understanding (Mis)Behavior on the EOSIO Blockchain]().

Aditya Gopalan, Abishek Sankararaman, Anwar Walid, Sriram Vishwanath . SIGMETRICS2020.

[security] [Extracting Smart Contracts Tested and Verified in Coq]().

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters. CPP2021
Expand Down

0 comments on commit 76743af

Please sign in to comment.