5 citations · 11 across the 10 of their papers we have counts for
14 papers
SoK: Liquid Staking Tokens (LSTs) and Emerging Trends in Restaking
Krzysztof Gogol, Yaron Velner, Benjamin Kraner +1
Liquid staking and restaking represent recent innovations in Decentralized Finance (DeFi) that garnered user interest and capital. Liquid Staking Tokens (LSTs), tokenized represent…
Some Complexity Results for Stateful Network Verification
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich +4
In modern networks, forwarding of packets often depends on the history of previously transmitted traffic. Such networks contain stateful middleboxes, whose forwarding behaviour dep…
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen +1
Crypto-currencies are digital assets designed to work as a medium of exchange, e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants). A framework…
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…
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…
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
Shaull Almagor, Orna Kupferman, Yaron Velner
In Boolean synthesis, we are given an LTL specification, and the goal is to construct a transducer that realizes it against an adversarial environment. Often, a specification conta…