5 citations · 11 across the 10 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
Quantitative Analysis of Smart Contracts
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…
cs.PL2017
Abstract Interpretation of Stateful Networks
Kalev Alpernas, Roman Manevich, Aurojit Panda +4
Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. How…