Search

Amir Goharshady

Amir Goharshady

Home
Publications
CV
Personal

Light Dark Automatic

Yaron Velner

Latest

Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
Quantitative Analysis of Smart Contracts

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite