home
members
publications
positions
grants
seminar
More
Computationally-Sound Symbolic Cryptography in Lean
Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio, and Rafał Stefański
accepted to the 39th IEEE Computer Security Foundations Symposium
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