News

September 2024
Our paper, ‘Efficient SMT-Based Model Checking for HyperTWTL’ has been accepted for the 25th International Conference on Formal Engineering Methods (ICFEM 2024). Congratulations Ernest!

July 2024
Prof. Hoque is serving as a Technical Program Committee Co-Chair for the IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).

July 2024
Prof. Hoque is serving as a Technical Committee Member for ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2025).

July 2024
Three papers on VR privacy and safety from our group have been accepted for publication in the 23rd IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2024) conference (core rank A*).

May 2024
DCPS Ph.D. student Ayesha Siddique has secured an Assistant Professor position at the University of Maine, Maine (R1). Congratulations, Ayesha!

May 2024
Two DCPS members, Ernest Bonnah and Ayesha Siddique, were hooded and officially received their doctoral degrees during the Spring 2024 commencement. Congratulations to Dr. Bonnah and Dr. Siddique!

May 2024
Two of the DCPS members, Ripan Kumar Kundu and Ayesha Siddique have been awarded the prestigious “Outstanding PhD Students” award from the Dept. of EECS, MU. Congratulations Ripan and Ayesha!

April 2024
DCPS Ph.D. student Ernest Bonnah has secured an Assistant Professor position at the Baylor University, Texas (R1). Congratulations, Ernest!

March 2024
Prof. Hoque is serving as a Technical Committee Member for ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2024).

March 2024
Two of the DCPS members, Ripan Kumar Kundu and Ayesha Siddique have been awarded the prestigious “Outstanding PhD Students” award from the University of Missouri College of Engineering. Congratulations Ripan and Ayesha!

October 2023
Our project titled ‘Explainable AI-guided Trustworthy and Interactive Cybersickness Detection and Mitigation for Next Generation Army Warfighters’ has been awarded a $450,000K grant from the Army Research Lab (ARL). Thank you, ARL.

September 2023
Our paper titled ‘Model Checking Time Window Temporal Logic for Hyperproperties’ received the Best Paper Award nomination in MEMOCODE conference at ESWEEK 2023.
See Preprint.

September 2023
Our project titled ‘Collaborative Research: DESC: Type I: SEEDED: Sustainability-aware Reliable and Reusable AI Hardware Design’has received a $600K grant from National Science Foundation (NSF) with a ‘highly competitive’ ranking. Thank you, NSF.
See MU news, NSF grant.

July 2023
Two papers from our lab have been accepted in the 21st ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023) titled ‘Model Checking Time Window Temporal Logic for Hyperproperties’ and ‘QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring’.
Preprints will be available soon.

May 2023
Prof. Hoque has received the 2023 Junior Faculty Excellence in Research award from the College of Engineering, MU.
See EECS news.

May 2023
MU news bureau published an article today featuring our recent efforts in introducing explainable AI (XAI) to the AR/VR domain.
See MU news.

March 2023
Our paper titled ‘Motion Planning using Hyperproperties for Time Window Temporal Logic’ has been accepted for publication and is now available in the IEEE Robotics and Automation Letters (RA-L) journal (IF 5.2).
See Early access.

January 2023
Our paper titled ‘Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults’ has been accepted for publication in the IEEE Transactions on Very Large Scale Integration (VLSI) Systems Journal (IF 2.775).
See Preprint, Paper.

January 2023
Our paper titled ‘VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality’ has been accepted for publication in the annual ACM Conference on Intelligent User Interfaces (AM IUI 2023) conference (core rank A).
See Paper.

December 2022
Our paper titled ‘LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI’ has been accepted for publication in the IEEE Virtual Reality (IEEE VR 2023) conference (core rank A*).
See Paper.

November 2022
Two papers from our lab have been accepted in the Design, Automation and Test in Europe (DATE 2023) Conference titled ‘Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization’ and ‘Security-Aware Approximate Spiking Neural Network’ with an acceptance rate of 25%.
See Preprint 1, Preprint 2, MU news.

October 2022
Our paper titled ‘Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments’ has been accepted for publication in the IEEE Transactions on Services Computing (IEEE TSC) Journal (IF 11.02).
See Preprint.

September 2022
Our paper titled ‘TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning’ has been accepted in the 21st IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2022) conference (core rank A*).
See Preprint, MU news.

March 2022
Our paper titled ‘Runtime Monitoring of Time Window Temporal Logic’ is now available for early access in the IEEE Robotics and Automation Letters (RA-L) journal (IF 5.43).
See Early access.

February 2022
Prof. Hoque has received the 2022 Junior Faculty Excellence in Teaching award from the College of Engineering, MU.
See MU news.

November 2021
Our paper titled ‘Is Approximation Universally Defensive Against Adversarial Attacks in Deep Neural Networks?’ has been accepted in the Design, Automation and Test in Europe (DATE 2022) Conference.
See Preprint, MU news.

October 2021
I am serving as the organizing chair of the 14th Central Area Networking and Security Workshop (CANSec 2021) workshop.
See MU news.

October 2021
Our paper titled ‘ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing’ has been accepted in the IEEE International Conference on Blockchain (IEEE Blockchain 2021) with an acceptance rate of 14.5%.

October 2021
Our project ‘Stateful Object Feature Clustering and Tracking for Modular Parallel Advanced Video Activity Analytics’ has been awarded a four-year $1.4M research grant by the Navy Research Lab (NRL).

September 2021
Our paper titled ‘Modeling and Defense of Social Virtual Reality Attacks Inducing Cybersickness’ has been accepted for publication in the IEEE Transactions on Dependable and Secure Computing (IEEE TDSC) Journal (6.40).

July 2021
Our project ‘Modeling and Defense of Cyber Attacks for Improving Social Virtual Reality Resilience’ has been awarded a three-year research grant by the National Science Foundation (NSF). Thank you, NSF!
See Project abstract, MU news.