About Me:

Welcome to my webpage. My name is Huzaifah Nadeem. I am a 3rd year Computer Science PhD student at the University of Pittsburgh. At Pitt, I am an advisee of Dr. Amy Babay. I have a variety of interests, but lately I have been working with Distributed Systems, Formal Verification, and Quantum Networks.

Before Pitt, I studied at Lahore University of Management Science (LUMS) in Lahore, Pakistan. From there, I got my BS in Computer Science with a minor in Mathematics.

Publications:

Conference Papers:

• Tolerating Compound Threats in Critical Infrastructure Control Systems Winner of the Best Paper Award
  Sahiti Bommareddy, Maher Khan, Huzaifah Nadeem, Benjamin Gilby, Imes Chiu, John W. van de Lindt, Omar Nofal, Mathaios Panteli, Linton Wells II, Yair Amir, and Amy Babay
  In the Proceedings of the 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
  [IEEEXplore] [PDF] [Slides] [Tool]

• SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions
  Muaz Ali, Muhammad Muzammil, Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Muhammad Haris, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman
  In the Proceedings of the 28th European Symposium on Research in Computer Security (ESORICS 2023)
  [Springer] [PDF]

Workshop and Other Peer Reviewed Papers:

• Using Digital Twins as an Upgrade Path for Critical Infrastructure Control Systems
  Huzaifah Nadeem and Amy Babay
  To appear in the Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2025) for the 1st International Workshop on Digital Twins for Dependability, Resilience and Security (DT4DRS 2025) [IEEEXplore] [PDF] [Slides]

• PhD Forum: Evaluating and Designing Routing Protocols for Reliable Distributed Quantum Systems Winner of the SRDS PhD Forum Award
  Huzaifah Nadeem
  In the Proceedings of the 43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
  [IEEEXplore] [PDF] [Slides] [Poster] [Tool]