Yaron Velner

39 papers A* 3A 2B 6Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
SoK: Liquid Staking Tokens (LSTs).
CoRR
Krzysztof Gogol, Yaron Velner, Benjamin Kraner, Claudio J. Tessone
2021 J jnl
Some Complexity Results for Stateful Network Verification.
CoRR
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2019 J jnl
Some complexity results for stateful network verification.
Formal Methods Syst. Des.
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2018 B conf
Abstract Interpretation of Stateful Networks.
SAS
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2018 B conf
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.
CONCUR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018 J jnl
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
2018 A conf
Quantitative Analysis of Smart Contracts.
ESOP
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2018 J jnl
Quantitative Analysis of Smart Contracts.
CoRR
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
2017 J jnl
Hyperplane separation technique for multidimensional mean-payoff games.
J. Comput. Syst. Sci.
Krishnendu Chatterjee, Yaron Velner
2017 J jnl
Modular Safety Verification for Stateful Networks.
CoRR
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2017 — conf
Quantitative Assume Guarantee Synthesis.
CAV (2)
Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner
2017 J jnl
Quantitative fair simulation games.
Inf. Comput.
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner
2017 J jnl
SMART POOL : Practical Decentralized Pooled Mining.
IACR Cryptol. ePrint Arch.
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
2017 — conf
Smart Contracts Make Bitcoin Mining Pools Vulnerable.
Financial Cryptography Workshops
Yaron Velner, Jason Teutsch, Loi Luu
2017 J jnl
Smart Contracts Make Bitcoin Mining Pools Vulnerable.
IACR Cryptol. ePrint Arch.
Yaron Velner, Jason Teutsch, Loi Luu
2017 A* conf
SmartPool: Practical Decentralized Pooled Mining.
USENIX Security Symposium
Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena
2017 J jnl
The Complexity of Mean-Payoff Pushdown Games.
J. ACM
Krishnendu Chatterjee, Yaron Velner
2017 J jnl
Visibly pushdown modular games, .
Inf. Comput.
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
2016 B conf
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
CONCUR
Shaull Almagor, Orna Kupferman, Yaron Velner
2016 J jnl
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
CoRR
Shaull Almagor, Orna Kupferman, Yaron Velner
2016 A conf
Some Complexity Results for Stateful Network Verification.
TACAS
Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
2015 — —
Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms
Yaron Velner
2015 A* conf
Quantitative Interprocedural Analysis.
POPL
Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner
2015 B conf
Robust Multidimensional Mean-Payoff Games are Undecidable.
FoSSaCS
Yaron Velner
2015 J jnl
The complexity of multi-mean-payoff and multi-energy games.
Inf. Comput.
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin
2014 — conf
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.
CSL-LICS
Yaron Velner
2014 J jnl
Robust Multidimensional Mean-Payoff Games are Undecidable.
CoRR
Yaron Velner
2014 — conf
Visibly Pushdown Modular Games.
GandALF
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner
2013 B conf
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.
CONCUR
Krishnendu Chatterjee, Yaron Velner
2013 — conf
The Complexity of Infinitely Repeated Alternating Move Games.
ICALP (1)
Yaron Velner
2012 J jnl
Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives
CoRR
Krishnendu Chatterjee, Yaron Velner
2012 J jnl
Mean-Payoff Pushdown Games
CoRR
Krishnendu Chatterjee, Yaron Velner
2012 A* conf
Mean-Payoff Pushdown Games.
LICS
Krishnendu Chatterjee, Yaron Velner
2012 J jnl
Strategy Synthesis for Mean-Payoff Expression Objectives
CoRR
Yaron Velner
2012 J jnl
The Complexity of Alternating Move Games
CoRR
Yaron Velner
2012 — conf
The Complexity of Mean-Payoff Automaton Expression.
ICALP (2)
Yaron Velner
2012 J jnl
The Complexity of Multi-Mean-Payoff and Multi-Energy Games
CoRR
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin
2011 B conf
Church Synthesis Problem for Noisy Input.
FoSSaCS
Yaron Velner, Alexander Rabinovich
2011 J jnl
The Complexity of Mean-Payoff Automaton Expression
CoRR
Yaron Velner