Khaza Anuarul Hoque

98 papers A* 6A 7B 5C 7Journal 53Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	CHOP: Breaking Anonymity in XR through a Novel and Cost-effective Chain of Privacy Attacks and Differential Privacy-Based Defenses. VR Ripan Kumar Kundu, Brendan David-John, Khaza Anuarul Hoque
2025	—	`conf`	Advancing Cybersickness Prediction in Immersive Virtual Reality Using Pre-Trained Large Foundation Models. VR Workshops Ripan Kumar Kundu, Khaza Anuarul Hoque
2025	—	`conf`	Adversarial VR: An Open-Source Testbed for Evaluating Adversarial Robustness of VR Cybersickness Detection and Mitigation. ISMAR-Adjunct Istiak Ahmed, Ripan Kumar Kundu, Khaza Anuarul Hoque
2025	J	`jnl`	Adversarial VR: An Open-Source Testbed for Evaluating Adversarial Robustness of VR Cybersickness Detection and Mitigation. CoRR Istiak Ahmed, Ripan Kumar Kundu, Khaza Anuarul Hoque
2025	B	`conf`	ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing. IJCNN Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque
2025	J	`jnl`	ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing. CoRR Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque
2025	B	`conf`	EPSILON: Adaptive Fault Mitigation in Approximate Deep Neural Network using Statistical Signatures. IJCNN Khurram Khalil, Khaza Anuarul Hoque
2025	J	`jnl`	EPSILON: Adaptive Fault Mitigation in Approximate Deep Neural Network using Statistical Signatures. CoRR Khurram Khalil, Khaza Anuarul Hoque
2025	—	`conf`	EdgeGuard: Robust and Fault-Aware Design for Resilient Edge Computing AI Accelerators. ACM Great Lakes Symposium on VLSI Sabrina Ahmed, Khaza Anuarul Hoque, Benjamin Carrion Schafer
2025	B	`conf`	Enhancing Immersive Virtual Reality Experiences with Multiple Tasks Prediction Using Pre-Trained Large Foundation Models. VRST Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque
2025	—	`conf`	ExciteVR: Effective Cybersickness Mitigation in Virtual Reality using Explainable Artificial Intelligence and Large Language Models. ISMAR-Adjunct Ripan Kumar Kundu, Istiak Ahmed, John Quarles, Khaza Anuarul Hoque
2025	—	`conf`	Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays. ISQED Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque
2025	J	`jnl`	Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays. CoRR Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque
2025	J	`jnl`	Explainable AI-Guided Neural Architecture Search for Adversarial Robustness in Approximate DNNs. IEEE Trans. Sustain. Comput. Ayesha Siddique, Khaza Anuarul Hoque
2025	J	`jnl`	FlipLLM: Efficient Bit-Flip Attacks on Multimodal LLMs using Reinforcement Learning. CoRR Khurram Khalil, Khaza Anuarul Hoque
2025	C	`conf`	Hyperproperty-Constrained Secure Reinforcement Learning. MEMOCODE Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2025	J	`jnl`	Hyperproperty-Constrained Secure Reinforcement Learning. CoRR Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2025	J	`jnl`	PEARL: An Adaptive and Explainable Hardware Trojan Detection Using Open Source and Enterprise Large Language Models. IEEE Access Ripan Kumar Kundu, Khurram Khalil, Eric Garcia, Ethan Grassia, Prasad Calyam, Khaza Anuarul Hoque
2025	—	`conf`	PILAR: Personalizing Augmented Reality Interactions with LLM-based Human-Centric and Trustworthy Explanations for Daily Use Cases. ISMAR-Adjunct Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque
2025	J	`jnl`	PILAR: Personalizing Augmented Reality Interactions with LLM-based Human-Centric and Trustworthy Explanations for Daily Use Cases. CoRR Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque
2025	A*	`conf`	PrivateXR: Defending Privacy Attacks in Extended Reality Through Explainable AI-Guided Differential Privacy. ISMAR Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque
2025	J	`jnl`	PrivateXR: Defending Privacy Attacks in Extended Reality Through Explainable AI-Guided Differential Privacy. CoRR Ripan Kumar Kundu, Istiak Ahmed, Khaza Anuarul Hoque
2025	J	`jnl`	RIFT: A Scalable Methodology for LLM Accelerator Fault Assessment using Reinforcement Learning. CoRR Khurram Khalil, Muhammad Mahad Khaliq, Khaza Anuarul Hoque
2025	J	`jnl`	RelaxVR: Cybersickness Reduction in Immersive Virtual Reality Through Explainable AI and Large Language Models. IEEE Access Ripan Kumar Kundu, Khaza Anuarul Hoque
2025	—	`conf`	SecretVR: Differential Privacy Defense Against Membership Inference Privacy Attacks in Virtual Reality. VR Workshops Ripan Kumar Kundu, Khaza Anuarul Hoque
2025	J	`jnl`	Securing Virtual Reality Experiences: Unveiling and Tackling Cybersickness Attacks With Explainable AI. IEEE Trans. Dependable Secur. Comput. Ripan Kumar Kundu, Matthew Denton, Genova Mongalo, Prasad Calyam, Khaza Anuarul Hoque
2025	J	`jnl`	Securing Virtual Reality Experiences: Unveiling and Tackling Cybersickness Attacks with Explainable AI. CoRR Ripan Kumar Kundu, Matthew Denton, Genova Mongalo, Prasad Calyam, Khaza Anuarul Hoque
2025	A	`conf`	TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge. ICCAD Khurram Khalil, Khaza Anuarul Hoque
2025	J	`jnl`	TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge. CoRR Khurram Khalil, Khaza Anuarul Hoque
2024	C	`conf`	Efficient SMT-Based Model Checking for HyperTWTL. ICFEM Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2024	B	`conf`	Formal Verification for Blockchain-based Insurance Claims Processing. NOMS Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
2024	J	`jnl`	Formal Verification for Blockchain-based Insurance Claims Processing. CoRR Roshan Lal Neupane, Ernest Bonnah, Bishnu Bhusal, Kiran Neupane, Khaza Anuarul Hoque, Prasad Calyam
2024	A*	`conf`	Mazed and Confused: A Dataset of Cybersickness, Working Memory, Mental Load, Physical Load, and Attention During a Real Walking Task in VR. ISMAR Jyotirmay Nag Setu, Joshua M. Le, Ripan Kumar Kundu, Barry Giesbrecht, Tobias Höllerer, Khaza Anuarul Hoque, Kevin Desai, John Quarles
2024	J	`jnl`	Mazed and Confused: A Dataset of Cybersickness, Working Memory, Mental Load, Physical Load, and Attention During a Real Walking Task in VR. CoRR Jyotirmay Nag Setu, Joshua M. Le, Ripan Kumar Kundu, Barry Giesbrecht, Tobias Höllerer, Khaza Anuarul Hoque, Kevin Desai, John Quarles
2024	J	`jnl`	Moving Target Defense Through Approximation for Low-Power Neuromorphic Edge Intelligence. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ayesha Siddique, Khaza Anuarul Hoque
2024	A*	`conf`	Preserving Personal Space: Differentially Private Cybersickness Detection in Immersive Virtual Reality Environments. ISMAR Ripan Kumar Kundu, Khaza Anuarul Hoque
2023	J	`jnl`	Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments. IEEE Trans. Serv. Comput. Samaikya Valluripally, Benjamin Frailey, Brady Kruse, Boonakij Palipatana, Roland Oruche, Aniket Gulhane, Khaza Anuarul Hoque, Prasad Calyam
2023	J	`jnl`	Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults. IEEE Trans. Very Large Scale Integr. Syst. Ayesha Siddique, Khaza Anuarul Hoque
2023	J	`jnl`	Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults. CoRR Ayesha Siddique, Khaza Anuarul Hoque
2023	A	`conf`	Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization. DATE Ayesha Siddique, Khaza Anuarul Hoque
2023	J	`jnl`	Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization. CoRR Ayesha Siddique, Khaza Anuarul Hoque
2023	A*	`conf`	LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI. VR Ripan Kumar Kundu, Rifatul Islam, John Quarles, Khaza Anuarul Hoque
2023	J	`jnl`	LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI. CoRR Ripan Kumar Kundu, Rifatul Islam, John Quarles, Khaza Anuarul Hoque
2023	C	`conf`	Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023	J	`jnl`	Model Checking Time Window Temporal Logic for Hyperproperties. CoRR Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023	J	`jnl`	Motion Planning Using Hyperproperties for Time Window Temporal Logic. IEEE Robotics Autom. Lett. Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023	C	`conf`	QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. MEMOCODE Ernest Bonnah, Khaza Anuarul Hoque
2023	J	`jnl`	QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. CoRR Ernest Bonnah, Khaza Anuarul Hoque
2023	J	`jnl`	RobustPdM: Designing Robust Predictive Maintenance against Adversarial Attacks. CoRR Ayesha Siddique, Ripan Kumar Kundu, Gautam Raj Mode, Khaza Anuarul Hoque
2023	A	`conf`	Security-Aware Approximate Spiking Neural Networks. DATE Syed Tihaam Ahmad, Ayesha Siddique, Khaza Anuarul Hoque
2023	J	`jnl`	Security-Aware Approximate Spiking Neural Networks. CoRR Syed Tihaam Ahmad, Ayesha Siddique, Khaza Anuarul Hoque
2023	—	`conf`	Towards a Domain-Agnostic Knowledge Graph-as-a-Service Infrastructure for Active Cyber Defense with Intelligent Agents. AIPR Prasad Calyam, Mayank Kejriwal, Praveen Rao, Jianlin Cheng, Weichao Wang, Linquan Bai, V. Sriram Siddhardh Nadendla, Sanjay Madria, Sajal K. Das, Rohit Chadha, Khaza Anuarul Hoque, Kannappan Palaniappan, Kiran Neupane, Roshan Lal Neupane, Sankeerth Gandhari, Mukesh Singhal, Lotfi Ben Othmane, Meng Yu, Vijay Anand, Bharat K. Bhargava, Brett Robertson, Kerk F. Kee, Patrice Buzzanell, Natalie A. Bolton, Harsh Taneja
2023	A	`conf`	VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality. IUI Ripan Kumar Kundu, Osama Yahia Elsaid, Prasad Calyam, Khaza Anuarul Hoque
2023	J	`jnl`	VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality. CoRR Ripan Kumar Kundu, Osama Yahia Elsaid, Prasad Calyam, Khaza Anuarul Hoque
2022	A	`conf`	Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks? DATE Ayesha Siddique, Khaza Anuarul Hoque
2022	J	`jnl`	Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness. IEEE Trans. Dependable Secur. Comput. Samaikya Valluripally, Aniket Gulhane, Khaza Anuarul Hoque, Prasad Calyam
2022	J	`jnl`	Runtime Monitoring of Time Window Temporal Logic. IEEE Robotics Autom. Lett. Ernest Bonnah, Khaza Anuarul Hoque
2022	A*	`conf`	TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning. ISMAR Ripan Kumar Kundu, Rifatul Islam, Prasad Calyam, Khaza Anuarul Hoque
2022	J	`jnl`	TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning. CoRR Ripan Kumar Kundu, Rifatul Islam, Prasad Calyam, Khaza Anuarul Hoque
2021	—	`conf`	ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing. Blockchain Naga Ramya Bhamidipati, Varsha Vakkavanthula, George Stafford, Masrik A. Dahir, Roshan Lal Neupane, Ernest Bonnah, Songjie Wang, J. V. R. Murthy, Khaza Anuarul Hoque, Prasad Calyam
2021	—	`conf`	Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators. ISQED Ayesha Siddique, Kanad Basu, Khaza Anuarul Hoque
2021	J	`jnl`	Exploring Fault-Energy Trade-offs in Approximate DNN Hardware Accelerators. CoRR Ayesha Siddique, Kanad Basu, Khaza Anuarul Hoque
2021	J	`jnl`	Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks? CoRR Ayesha Siddique, Khaza Anuarul Hoque
2021	—	`conf`	Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments. FiCloud Samaikya Valluripally, Vaibhav Akashe, Michael Fisher, David Falana, Khaza Anuarul Hoque, Prasad Calyam
2021	J	`jnl`	Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments. CoRR Samaikya Valluripally, Vaibhav Akashe, Michael Fisher, David Falana, Khaza Anuarul Hoque, Prasad Calyam
2020	—	`conf`	Adversarial Examples in Deep Learning for Multivariate Time Series Regression. AIPR Gautam Raj Mode, Khaza Anuarul Hoque
2020	J	`jnl`	Adversarial Examples in Deep Learning for Multivariate Time Series Regression. CoRR Gautam Raj Mode, Khaza Anuarul Hoque
2020	—	`conf`	Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments. CCNC Samaikya Valluripally, Aniket Gulhane, Reshmi Mitra, Khaza Anuarul Hoque, Prasad Calyam
2020	J	`jnl`	Crafting Adversarial Examples for Deep Learning Based Prognostics (Extended Version). CoRR Gautam Raj Mode, Khaza Anuarul Hoque
2020	C	`conf`	Crafting Adversarial Examples for Deep Learning Based Prognostics. ICMLA Gautam Raj Mode, Khaza Anuarul Hoque
2020	C	`conf`	High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators. IOLTS Shamik Kundu, Ahmet Soyyigit, Khaza Anuarul Hoque, Kanad Basu
2020	J	`jnl`	High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators. CoRR Shamik Kundu, Ahmet Soyyigit, Khaza Anuarul Hoque, Kanad Basu
2020	B	`conf`	Impact of False Data Injection Attacks on Deep Learning Enabled Predictive Analytics. NOMS Gautam Raj Mode, Prasad Calyam, Khaza Anuarul Hoque
2019	J	`jnl`	Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings. CoRR Khaza Anuarul Hoque, Nathalie Cauchi, Alessandro Abate
2019	J	`jnl`	Attack Trees for Security and Privacy in Social Virtual Reality Learning Environments. CoRR Samaikya Valluripally, Aniket Gulhane, Reshmi Mitra, Khaza Anuarul Hoque, Prasad Calyam
2019	J	`jnl`	Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliab. Eng. Syst. Saf. Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2019	J	`jnl`	False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics. CoRR Gautam Raj Mode, Prasad Calyam, Khaza Anuarul Hoque
2019	—	`conf`	Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications. CCNC Aniket Gulhane, Akhil Vyas, Reshmi Mitra, Roland Oruche, Gabriela Hoefer, Samaikya Valluripally, Prasad Calyam, Khaza Anuarul Hoque
2018	J	`jnl`	Cyber-Physical Specification Mismatches. CoRR Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018	J	`jnl`	Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018	J	`jnl`	Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2018	J	`jnl`	Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs. CoRR Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	—	`conf`	Modelling Smart Buildings Using Fault Maintenance Trees. EPEW Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
2018	J	`jnl`	Security, Privacy and Safety Risk Assessment for Virtual Reality Learning Environment Applications. CoRR Aniket Gulhane, Akhil Vyas, Reshmi Mitra, Roland Oruche, Gabriela Hoefer, Samaikya Valluripally, Prasad Calyam, Khaza Anuarul Hoque
2018	J	`jnl`	Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). J. Autom. Reason. Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque
2017	—	`conf`	Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2017	J	`jnl`	Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications. CoRR Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2017	J	`jnl`	Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Appl. Log. Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2017	A	`conf`	Formal specification and dependability analysis of optical communication networks. DATE Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson
2016	—	`conf`	Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. SysCon Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2016	—	`conf`	Formal analysis of fault tree using probabilistic model checking: A solar array case study. SysCon Marwan Ammar, Khaza Anuarul Hoque, Otmane Aït Mohamed
2016	—	`conf`	Probabilistic Formal Verification of the SATS Concept of Operation. NFM Muhammad Usama Sardar, Nida Afaq, Khaza Anuarul Hoque, Taylor T. Johnson, Osman Hasan
2015	A	`conf`	Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. DATE Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
2014	C	`conf`	Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. MEMOCODE Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
2013	—	`conf`	Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. FTSCS Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault
2012	J	`jnl`	MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum