Yaron Velner — Hebrew University of Jerusalem

Area of research

Computational Theory and Mathematics · Artificial Intelligence

Research interest

Research interests include Computer science, Stateful firewall, Stochastic game, Computer security, Incentive, and Stateless protocol.

Recent publications

Quantitative Analysis of Smart Contracts

Lecture notes in computer science 2018cited by 12position: lastdoi

Abstract Interpretation of Stateful Networks

Lecture notes in computer science 2018cited by 11position: lastdoi

Ergodic Mean-Payoff Games for the Analysis of Attacks in\n Crypto-Currencies

arXiv (Cornell University) 2018cited by 10position: lastdoi

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 2018cited by 9position: lastdoi

SMART POOL : Practical Decentralized Pooled Mining.

IACR Cryptology ePrint Archive 2017cited by 84position: middle

Smart Contracts Make Bitcoin Mining Pools Vulnerable

Lecture notes in computer science 2017cited by 65position: firstdoi

Quantitative Assume Guarantee Synthesis

Lecture notes in computer science 2017cited by 16position: lastdoi

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) 2016cited by 4position: lastdoi

Grants

No grants ingested yet.

Frequent collaborators

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.