5 citations · 11 across the 10 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
Smart contracts are computer programs that are executed by a network of mutually distrusting agents, without the need of an external trusted authority. Smart contracts handle and t…