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
  43rd International Symposium on Reliable Distributed Systems (SRDS 2024)
  [IEEEXplore] [PDF] [Slides]

• 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
  28th European Symposium on Research in Computer Security (ESORICS 2023)
  [Springer] [PDF]

Other Papers:

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