SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions. - Muaz Ali; Muhammad Muzammil; M. Faraz Karim; Ayesha Naeem; Rukhshan Haroon; Muhammad Haris; Huzaifah Nadeem; Waseem Sabir; Fahad Shaon; Fareed Zaffar; Vinod Yegneswaran; Ashish Gehani; et al. (ESORICS (4), 2023)

Rapid Autonomy Transfer in Reinforcement Learning with a Single Pre- Trained Critic. - Muhammad Faraz Karim; Yunjie Deng; Luyao Niu; Bhaskar Ramasubramanian; Michail S. Alexiou; Dinuka Sahabandu; Radha Poovendran; J. Sukarno Mertoguno (ICTAI, 2024)

Experimentation and Implementation of the BFT++ Cyber-Attack Resilience Mechanism for Cyber-Physical Systems. - David R. Keppler; M. Faraz Karim; Matthew S. Mickelson; J. Sukarno Mertoguno (ACM Trans. Cyber Phys. Syst., 2024)