Record link: 
http://hdl.handle.net/20.500.12708/230777
-
Title: 
A Composable Game-Theoretic Framework for Blockchains
en
Citation: 
Avarikioti, G., Fuchsbauer, G., Keer, P., Maffei, M., & Regen, F. (2026). A Composable Game-Theoretic Framework for Blockchains. In 2026 IEEE 39th Computer Security Foundations Symposium (CSF) (pp. 513–528). IEEE. https://doi.org/10.1109/CSF68417.2026.00034
-
Publisher DOI: 
10.1109/CSF68417.2026.00034
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Avarikioti, Georgia 
Fuchsbauer, Georg 
Keer, Pim 
Maffei, Matteo 
Regen, Fabian 
-
Organisational Unit: 
E192-06 - Forschungsbereich Security and Privacy 
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies 
E056-13 - Fachbereich LogiCS 
E056-26 - Fachbereich Automated Reasoning 
-
Published in: 
2026 IEEE 39th Computer Security Foundations Symposium (CSF) 
-
ISBN: 
979-8-3195-1806-4
-
Date (published): 
2026
-
Event name: 
39th IEEE Computer Security Foundations Symposium (CSF 2026) 
en
Event date: 
26-Jul-2026 - 29-Jul-2026
-
Event place: 
Lisbon, Portugal
-
Number of Pages: 
16
-
Publisher: 
IEEE
-
Peer reviewed: 
Yes
-
Keywords: 
blockchain; game theory; composability
en
Project title: 
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds) 
Formal Methods for Secure Blockchain-Oriented Programming: 101141432 (European Commission) 
Cryptographic Foundations of Privacy in Distributed Ledgers: Projektnummer VRG18-002 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
Optimale Cross-Chain- und Cross-Layer-Protokolle: ICT25-56 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

10
checked on Sep 14, 2026

Google ScholarTM

Check