Yaron Velner

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 24

Top Topics

Boolean Constraints

Top Venues

IACR Cryptol. ePrint Arch.

Publications

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