| 2026 | DATE | RIFT: A Scalable Methodology for LLM Accelerator Fault Assessment using Reinforcement Learning. | Khurram Khalil, Muhammad Mahad Khaliq, Khaza Anuarul Hoque |
| 2026 | VR | CHOP: Breaking Anonymity in XR through a Novel and Cost-effective Chain of Privacy Attacks and Differential Privacy-Based Defenses. | Ripan Kumar Kundu, Brendan David-John, Khaza Anuarul Hoque |
| 2025 | ICCAD | TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge. | Khurram Khalil, Khaza Anuarul Hoque |
| 2025 | IJCNN | EPSILON: Adaptive Fault Mitigation in Approximate Deep Neural Network using Statistical Signatures. | Khurram Khalil, Khaza Anuarul Hoque |
| 2025 | IJCNN | ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing. | Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque |
| 2025 | ISMAR | Adversarial VR: An Open-Source Testbed for Evaluating Adversarial Robustness of VR Cybersickness Detection and Mitigation. | Istiak Ahmed, Ripan Kumar Kundu, Khaza Anuarul Hoque |
| 2025 | ISMAR | PrivateXR: Defending Privacy Attacks in Extended Reality Through Explainable AI-Guided Differential Privacy. | Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque |
| 2025 | ISMAR | PILAR: Personalizing Augmented Reality Interactions with LLM-based Human-Centric and Trustworthy Explanations for Daily Use Cases. | Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque |
| 2025 | ISMAR | ExciteVR: Effective Cybersickness Mitigation in Virtual Reality using Explainable Artificial Intelligence and Large Language Models. | Ripan Kumar Kundu, Istiak Ahmed, John Quarles, Khaza Anuarul Hoque |
| 2025 | MEMOCODE | Hyperproperty-Constrained Secure Reinforcement Learning. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2025 | VR | Advancing Cybersickness Prediction in Immersive Virtual Reality Using Pre-Trained Large Foundation Models. | Ripan Kumar Kundu, Khaza Anuarul Hoque |
| 2025 | VR | SecretVR: Differential Privacy Defense Against Membership Inference Privacy Attacks in Virtual Reality. | Ripan Kumar Kundu, Khaza Anuarul Hoque |
| 2025 | VRST | Enhancing Immersive Virtual Reality Experiences with Multiple Tasks Prediction Using Pre-Trained Large Foundation Models. | Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque |
| 2024 | ICFEM | Efficient SMT-Based Model Checking for HyperTWTL. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | ISMAR | Preserving Personal Space: Differentially Private Cybersickness Detection in Immersive Virtual Reality Environments. | Ripan Kumar Kundu, Khaza Anuarul Hoque |
| 2024 | ISMAR | Mazed and Confused: A Dataset of Cybersickness, Working Memory, Mental Load, Physical Load, and Attention During a Real Walking Task in VR. | Jyotirmay Nag Setu, Joshua M. Le, Ripan Kumar Kundu, Barry Giesbrecht, Tobias Hllerer, Khaza Anuarul Hoque, Kevin Desai, John Quarles |
| 2024 | NOMS | Formal Verification for Blockchain-based Insurance Claims Processing. | Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam |
| 2023 | DATE | Security-Aware Approximate Spiking Neural Networks. | Syed Tihaam Ahmad, Ayesha Siddique, Khaza Anuarul Hoque |
| 2023 | DATE | Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization. | Ayesha Siddique, Khaza Anuarul Hoque |
| 2023 | IUI | VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality. | Ripan Kumar Kundu, Osama Yahia Elsaid, Prasad Calyam, Khaza Anuarul Hoque |
| 2023 | MEMOCODE | QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. | Ernest Bonnah, Khaza Anuarul Hoque |
| 2023 | MEMOCODE | Model Checking Time Window Temporal Logic for Hyperproperties. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2023 | VR | LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI. | Ripan Kumar Kundu, Rifatul Islam, John Quarles, Khaza Anuarul Hoque |
| 2022 | DATE | Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks? | Ayesha Siddique, Khaza Anuarul Hoque |
| 2022 | ISMAR | TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning. | Ripan Kumar Kundu, Rifatul Islam, Prasad Calyam, Khaza Anuarul Hoque |
| 2020 | ICMLA | Crafting Adversarial Examples for Deep Learning Based Prognostics. | Gautam Raj Mode, Khaza Anuarul Hoque |
| 2020 | IOLTS | High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators. | Shamik Kundu, Ahmet Soyyigit, Khaza Anuarul Hoque, Kanad Basu |
| 2020 | NOMS | Impact of False Data Injection Attacks on Deep Learning Enabled Predictive Analytics. | Gautam Raj Mode, Prasad Calyam, Khaza Anuarul Hoque |
| 2017 | DATE | Formal specification and dependability analysis of optical communication networks. | Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson |
| 2017 | SENSYS | Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. | Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Marille Stoelinga |
| 2015 | DATE | Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. | Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria |
| 2014 | MEMOCODE | Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. | Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria, Claude Thibeault |