Karolina Grzeszkiewicz

According to our database, Karolina Grzeszkiewicz authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Bythos: Compositional Verification of Composite Byzantine Protocols.

Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey

Dataset, July, 2024

Compositional Verification of Composite Byzantine Protocols.

Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024