publications

2026

1. Preprint

   The Tragedy of Chain Commons

   Ignacio Amores-Sesar, Mirza Ahad Baig, Seth Gilbert, and 2 more authors

   arXiv preprint arXiv:2602.20341, 2026

   arXiv Bib

   @article{baig2026tragedy,
     title = {The Tragedy of Chain Commons},
     author = {Amores-Sesar, Ignacio and Baig, Mirza Ahad and Gilbert, Seth and Neiheiser, Ray and Yeo, Michelle},
     journal = {arXiv preprint arXiv:2602.20341},
     year = {2026},
   }

2. Preprint

   Mechanism Design for Multi-Resource Nakamoto Consensus

   Hossein Babashah, Mirza Ahad Baig, Krzysztof Pietrzak, and 1 more author

   2026

   Manuscript, under submission
3. PhD

   On Secure Chain Selection Rules from Physical Resources in a Permissionless Setting

   Mirza Ahad Baig

   Institute of Science and Technology Austria (ISTA), 2026

2025

1. Preprint

   Inver: An Inference Verification System for Large Language Models

   Mirza Ahad Baig, Ruta Jawale, Sina Kaviani, and 2 more authors

   2025

   Manuscript, under submission
2. AFT

   Nakamoto Consensus from Multiple Resources

   Mirza Ahad Baig, Christoph U. Günther, and Krzysztof Pietrzak

   In 7th Conference on Advances in Financial Technologies (AFT), 2025

   DOI arXiv Bib

   @inproceedings{baig2025nakamoto,
     title = {Nakamoto Consensus from Multiple Resources},
     author = {Baig, Mirza Ahad and G{\"u}nther, Christoph U. and Pietrzak, Krzysztof},
     booktitle = {7th Conference on Advances in Financial Technologies (AFT)},
     series = {LIPIcs},
     volume = {354},
     pages = {16:1--16:23},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     year = {2025},
     doi = {10.4230/LIPIcs.AFT.2025.16},
   }

3. FC

   On the (in)security of Proofs-of-Space Based Longest-Chain Blockchains

   Mirza Ahad Baig and Krzysztof Pietrzak

   In Financial Cryptography and Data Security (FC), 2025

   DOI arXiv Bib HTML

   @inproceedings{baig2025pospace,
     title = {On the (in)security of Proofs-of-Space Based Longest-Chain Blockchains},
     author = {Baig, Mirza Ahad and Pietrzak, Krzysztof},
     booktitle = {Financial Cryptography and Data Security (FC)},
     series = {Lecture Notes in Computer Science},
     volume = {15752},
     pages = {127--142},
     publisher = {Springer},
     year = {2025},
     doi = {10.1007/978-3-032-07035-7_8},
   }

4. PKC

   Securely Instantiating ’Half Gates’ Garbling in the Standard Model

   Anasuya Acharya, Karen Azari, Mirza Ahad Baig, and 2 more authors

   In Public-Key Cryptography (PKC), 2025

   DOI Bib HTML

   @inproceedings{acharya2025halfgates,
     title = {Securely Instantiating 'Half Gates' Garbling in the Standard Model},
     author = {Acharya, Anasuya and Azari, Karen and Baig, Mirza Ahad and Hofheinz, Dennis and Kamath, Chethan},
     booktitle = {Public-Key Cryptography (PKC)},
     series = {Lecture Notes in Computer Science},
     volume = {15677},
     pages = {37--75},
     publisher = {Springer},
     year = {2025},
     doi = {10.1007/978-3-031-91829-2_2},
   }

2024

1. TCC

   The Cost of Maintaining Keys in Dynamic Groups with Applications to Multicast Encryption and Group Messaging

   Michael Anastos, Benedikt Auerbach, Mirza Ahad Baig, and 4 more authors

   In Theory of Cryptography (TCC), 2024

   DOI Bib HTML

   @inproceedings{anastos2024keys,
     title = {The Cost of Maintaining Keys in Dynamic Groups with Applications to Multicast Encryption and Group Messaging},
     author = {Anastos, Michael and Auerbach, Benedikt and Baig, Mirza Ahad and Cueto Noval, Miguel and Kwan, Matthew and Pascual-Perez, Guillermo and Pietrzak, Krzysztof},
     booktitle = {Theory of Cryptography (TCC)},
     series = {Lecture Notes in Computer Science},
     volume = {15364},
     pages = {413--443},
     publisher = {Springer},
     year = {2024},
     doi = {10.1007/978-3-031-78011-0_14},
   }

2023

1. TCC

   Efficiently Testable Circuits Without Conductivity

   Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, and 3 more authors

   In Theory of Cryptography (TCC), 2023

   Bib HTML

   @inproceedings{baig2023etcnc,
     title = {Efficiently Testable Circuits Without Conductivity},
     author = {Baig, Mirza Ahad and Chakraborty, Suvradip and Dziembowski, Stefan and Ga{\l}{\k a}zka, Ma{\l}gorzata and Lizurej, Tomasz and Pietrzak, Krzysztof},
     booktitle = {Theory of Cryptography (TCC)},
     series = {Lecture Notes in Computer Science},
     year = {2023},
   }

2. ITCS

   Efficiently Testable Circuits

   Mirza Ahad Baig, Suvradip Chakraborty, Stefan Dziembowski, and 3 more authors

   In 14th Innovations in Theoretical Computer Science Conference (ITCS), 2023

   Bib HTML

   @inproceedings{baig2023etc,
     title = {Efficiently Testable Circuits},
     author = {Baig, Mirza Ahad and Chakraborty, Suvradip and Dziembowski, Stefan and Ga{\l}{\k a}zka, Ma{\l}gorzata and Lizurej, Tomasz and Pietrzak, Krzysztof},
     booktitle = {14th Innovations in Theoretical Computer Science Conference (ITCS)},
     series = {LIPIcs},
     year = {2023},
   }

3. Distr. Comput.

   Long-lived counters with polylogarithmic amortized step complexity

   Mirza Ahad Baig, Danny Hendler, Alessia Milani, and 1 more author

   Distributed Computing, 2023

   Preliminary version at DISC 2019 (invited to special issue)

   Bib PDF

   @article{baig2023counters,
     title = {Long-lived counters with polylogarithmic amortized step complexity},
     author = {Baig, Mirza Ahad and Hendler, Danny and Milani, Alessia and Travers, Corentin},
     journal = {Distributed Computing},
     volume = {36},
     year = {2023},
     note = {Preliminary version at DISC 2019 (invited to special issue)},
   }

2021

1. TCC

   Grafting Key Trees: Efficient Key Management for Overlapping Groups

   Joël Alwen, Benedikt Auerbach, Mirza Ahad Baig, and 5 more authors

   In Theory of Cryptography (TCC), 2021

   Bib HTML

   @inproceedings{alwen2021grafting,
     title = {Grafting Key Trees: Efficient Key Management for Overlapping Groups},
     author = {Alwen, Jo{\"e}l and Auerbach, Benedikt and Baig, Mirza Ahad and Cueto Noval, Miguel and Klein, Karen and Pascual-Perez, Guillermo and Pietrzak, Krzysztof and Walter, Michael},
     booktitle = {Theory of Cryptography (TCC)},
     series = {Lecture Notes in Computer Science},
     year = {2021},
   }

2020

1. PODC

   Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity

   Mirza Ahad Baig, Danny Hendler, Alessia Milani, and 1 more author

   In ACM Symposium on Principles of Distributed Computing (PODC), 2020

   Bib PDF

   @inproceedings{baig2020snapshots,
     title = {Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity},
     author = {Baig, Mirza Ahad and Hendler, Danny and Milani, Alessia and Travers, Corentin},
     booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
     year = {2020},
   }

2019

1. MSc

   Long-Lived Non-Blocking Counters With Polylogarithmic Step Complexity

   Mirza Ahad Baig

   Chennai Mathematical Institute (CMI), 2019