home
members
publications
positions
grants
seminar
More
A Formally Verified Lightning Network
Grzegorz Fabiański, Rafał Stefański, and Orfeas Stefanos Thyfronitis Litos
Financial Cryptography and Data Security 2025
Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma
Stefan Dziembowski, Grzegorz Fabiański, Sebastian Faust, and Siavash Riahi
12th Innovations in Theoretical Computer Science Conference (ITCS 2021)
Progressive Algorithms for Domination and Independence
Grzegorz Fabiański, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
International Symposium on Theoretical Aspects of Computer Science, STACS 2019