diff --git a/README.md b/README.md index ed7622d..239ba83 100644 --- a/README.md +++ b/README.md @@ -61,7 +61,13 @@ Welcome developers or researchers to add more published paper to this list. [security] [Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts](https://eprint.iacr.org/2021/1147.pdf) -Kushal Babel (Cornell Tech), Philip Daian (Cornell Tech), Mahimna Kelkar (Cornell Tech), Ari Juels (Cornell Tech) +Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels. + +[security] [Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model](https://csdl-downloads.ieeecomputer.org/proceedings/sp/2023/9336/00/933600b186.pdf) + +Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jiaguang Sun. + + ### 2022