Relab
Relab
Projects
Research
Team
News
Events
Light
Dark
Automatic
Game theory
Iniva: Inclusive and Incentive-compatible Vote Aggregation - Paper accepted
Arian’s Iniva paper is accepted for publication at
DSN'24
Arian Baloochestani Asl
,
Hanish Gogada
,
Leander Jehl
,
Hein Meling
Apr 9, 2024
1 min read
Project
Project
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
This paper explores the use of TLA+ to verify game theoretic properties like Nash equilibria.
Arian Baloochestani Asl
,
Leander Jehl
PDF
Cite
Project
DOI
Rebop: Reputation-Based Incentives in Committee-Based Blockchains
Blockchains based on proof-of-work suffer from serious draw- backs, such as high computational overhead, long confirmation time, and …
Arian Baloochestani Asl
,
Leander Jehl
,
Hein Meling
PDF
Cite
Project
Project
DOI
Cite
×