Grzegorz Fabianski

According to our database, Grzegorz Fabianski authored at least 6 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Formally Verified Lightning Network.

Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos

CoRR, March, 2025

Computationally-Sound Symbolic Cryptography in Lean.

Stefan Dziembowski, Grzegorz Fabianski, Daniele Micciancio, Rafal Stefanski

IACR Cryptol. ePrint Arch., 2025

2021

Lower Bounds for Off-Chain Protocols: Exploring the Limits of Plasma.

Stefan Dziembowski, Grzegorz Fabianski, Sebastian Faust, Siavash Riahi

Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

2020

Uniformisations of Regular Relations Over Bi-Infinite Words.

Grzegorz Fabianski, Michal Skrzypczak, Szymon Torunczyk

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Properties of nowhere dense graph classes related to independent set problem.

Grzegorz Fabianski

CoRR, 2019

Progressive Algorithms for Domination and Independence.

Grzegorz Fabianski, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019