research
∙
06/02/2021
Some Complexity Results for Stateful Network Verification
In modern networks, forwarding of packets often depends on the history o...
share
research
∙
06/08/2018
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Crypto-currencies are digital assets designed to work as a medium of exc...
research
∙
01/10/2018
Quantitative Analysis of Smart Contracts
Smart contracts are computer programs that are executed by a network of ...
research
∙
08/19/2017
Abstractions for Verifying Isolation Properties in Stateful Networks
Modern networks achieve robustness and scalability by maintaining states...
research
∙
08/19/2017
