Digital Commons Network^™

Detecting Bitstream-Level Fpga Trojans With An Snn, Kylie Arnett

Shelby Hall Graduate Research Forum Presentations

Limited research has been conducted on SNNs for FPGA Trojan detection. FPGA design is often handled by manufacturers outside the U.S. FPGA manufactures outsource production to third-party foundries. This multi-step process introduces security vulnerabilities and increases risk of Hardware Trojan insertion.

Key Questions: To what extent can an FPGA be manipulated at the bitstream level to enable or disable encryption algorithms?

Can SNNs accurately detect the presence of Trojans within an FPGA?

A Scalable Iteration Of The Horizon Simulation Framework Using Multithreading Techniques, Jason E. Beals

Master's Theses

The Horizon Simulation Framework (HSF) occupies a unique space in the modern aerospace modeling landscape, enabling flexible, modular modeling of mission-level agent behavior through an object-oriented, hierarchical design. HSF's hallmark breadth-first search scheduling algorithm explores a "multiverse" of possible mission execution pathways, enabling exhaustive evaluation of schedule combinations against user-defined heuristics.

As aerospace systems become increasingly complex, HSF faces critical challenges in establishing verifiable, deterministic behavior. The framework's core scheduling algorithm had not undergone systematic validation, leaving questions about temporal consistency, state management correctness, and reproducibility across different program executions. Furthermore, the exponential growth of schedule combinations creates computational bottlenecks …

The Application, Construction, And Validation Of Hidden Markov Model Profiles For Carbonic Anhydrase Enzymes, Samuel F. Kaplan

Master's Theses

Carbonic anhydrases (CAs) catalyze the reversible hydration of CO2 and have evolved independently at least eight times, resulting in structurally distinct enzyme families (α, β, γ, δ, ζ, η, θ, ι). Traditional sequence alignment methods struggle to classify these convergently evolved proteins because their sequential similarity does not reliably indicate functional or evolutionary relationships. Many CA sequences in public databases are annotated generically without family assignments, and prior computational approaches have focused predominantly on the three well characterized families (α, β, γ), leaving the five recently discovered classes without robust classification tools. Family level assignment is often a prerequisite for …

Demystifying Hardware Formal Verification For Undergraduate Education: A Risc-V Processor Case Study With Coursework Implementation, Riley A. Peters

Master's Theses

Hardware verification engineers apply formal methods to prove that a digital device always behaves according to its specification. This differs from traditional functional verification, in which engineers establish correctness by repeatedly sending test inputs to the device and comparing the outputs against a reference model. With the growing complexity of integrated circuits, the demand for digital verification engineers with formal methods experience has continued to increase. However, California Polytechnic State University: San Luis Obispo's current curriculum lacks dedicated material to prepare students for these roles.

This thesis seeks to address the lack of formal methods material through two efforts. First, …

Designing For Trust In Chat-Based Question Answering Systems: An Exchange-Based Retrieval Approach, Nathan Mccutchen

Master's Theses

Community chat platforms such as Discord and Slack support spontaneous, collaborative communication but make it difficult to retrieve previously discussed information. As conversations accumulate, valuable exchanges become buried, leading to repeated questions and sustained burden on experienced community members.

This work contributes a set of design requirements for question-answering systems operating over unstructured chat data, a Discord bot prototype implementing those requirements named Echo, and an empirical evaluation of how such a system affects user trust. Rather than encoding discrete question-answer pairs or generating synthetic responses with a language model, Echo indexes conversation topics for semantic retrieval and presents results …

Explainable Deep Reinforcement Learning For Real-Time Network Intrusion Detection, Sebastian Bustamante

Shelby Hall Graduate Research Forum Posters

This research aims to enhance current Deep Reinforcement Learning (DRL)-based Intrusion Detection System (IDS) models by adding transparency using Explainable Artificial Intelligence (XAI). This study proposes a DRL-based IDS architecture that incorporates explainability to provide interpretable reasons for IDS decisions. A Deep Q-Network (DQN) agent will be trained in a simulated network using well-known datasets to learn traffic behavior. XAI methods will be applied to extract feature importance and allow users to understand why alerts were generated. The outcomes of this research will contribute to improving network security by providing more insight on how XAI could be adopted into modern …

Detecting Sensor Data Manipulation, Ricky Green, Michael Black

Shelby Hall Graduate Research Forum Posters

The integration of Information Technology (IT) and Operational Technology (OT) have made OT devices vulnerable to threats that have been successfully exploited with devastating results. Many modern techniques for hardening and securing enterprise IT systems are either incompatible with OT components in an Industrial Control System (ICS), reduce the efficiency of processes, or are prohibitively expensive to implement. Research in the area of ICS security focuses on a top-down approach, such as intrusion prevention by securing the perimeter of the network at layers 3 – 5 of the Purdue model by hardening IT systems. This approach is useful in Enterprise …

Driver Behavior Analyzer 2.0: A Modular Framework For Interpretable Driver Safety Analysis From Obd-Ii And Gps Telemetry, Sangwhan Cha, Venkata Sundar Kamesh Durvasula

Harrisburg University Other Works

Driver behavior analysis plays a central role in advancing road safety and enabling data-driven driver feedback. Although commercial telematics platforms offer sophisticated analytics, they are frequently expensive, proprietary, and optimized for enterprise-scale use. At the same time, low-cost On-Board Diagnostics II (OBD-II) adapters make telemetry collection widely accessible, but they typically do not provide higher-level behavioral interpretation.

In this paper, we present Driver Behavior Analyzer 2.0 (DBA 2.0), an offline-first, modular analytics framework that converts OBD-II and GPS telemetry into interpretable safety insights. DBA 2.0 supports ingestion of telemetry logs in CSV and JSON formats, data normalization, rule-based detection of …

Improving Credit Card Transaction Fraud Detection Using Cvqboosting, Bethel Hui Ting Loke, Nirvik Sahoo, Bingyan Guan, Minrui Xu, Dev Verma, Paul R. Griffin

Research Collection School Of Computing and Information Systems

This paper introduces a novel hybrid quantum-classical approach to credit card fraud detection using CVQBoost, a hybrid quantum-classical boosting algorithm executed on the photonic Dirac-3 processor from Quantum Computing Inc. (QCi). By integrating a diverse set of weak classifiers, which includes K-nearest neighbours (KNN), linear discriminant analysis, logistic regression, and XGBoost, within a hybrid quantum-classical ensemble, the proposed method demonstrates significant improvements over the latest published classical benchmarks. Experiments on a Kaggle credit card fraud dataset show that the quantum-enhanced model achieves a mean AUC-PR score of over 0.8, corresponding to an approximately 9% relative improvement over the best published …

Navigation Beyond Wayfinding: Robots Collaborating With Visually Impaired Users For Environmental Interactions, Shaojun Cai, Nuwan Janaka, Ashwin Ram, Janidu Shehan, Yingjia Wan, Kotaro Hara, David Hsu

Research Collection School Of Computing and Information Systems

Robotic guidance systems have shown promise in supporting blind and visually impaired (BVI) individuals with wayfinding and obstacle avoidance. However, most existing systems assume a clear path and do not support a critical aspect of navigation—environmental interactions that require manipulating objects to enable movement. These interactions are challenging for a human–robot pair because they demand (i) precise localization and manipulation of interaction targets (e.g., pressing elevator buttons) and (ii) dynamic coordination between the user’s and robot’s movements (e.g., pulling out a chair to sit). We present a collaborative human–robot approach that combines our robotic guide dog’s precise sensing and localization …

Compositions Of Variant Experts For Integrating Short-Term And Long-Term Preferences, Dinh Hieu Do, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

In the online digital realm, recommendation systems are ubiquitous and play a crucial role in enhancing user experience. These systems leverage user preferences to provide personalized recommendations, thereby helping users navigate through the paradox of choice. This work focuses on personalized sequential recommendation, where the system considers not only a user’s immediate, evolving session context, but also their cumulative historical behavior to provide highly relevant and timely recommendations. Through an empirical study conducted on diverse real-world datasets, we have observed and quantified the existence and impact of both short-term (immediate and transient) and long-term (enduring and stable) preferences on users’ …

Addressing Graph Heterogeneity And Heterophily From A Spectral Perspective, Kangkang Lu, Yanhua Yu, Ruopei Guo, Nan Cheng, Zhiyong Huang, Yunshan Ma, Meiyu Liang, Yuling Wang, Xiting Qin, Yimeng Ren, Tat-Seng Chua

Research Collection School Of Computing and Information Systems

Graph Neural Networks (GNNs) face two key challenges, heterogeneity and heterophily, which often degrade performance. Existing approaches either focus narrowly on specific meta-paths, limiting their expressiveness, or are expressive but cannot effectively leverage higher-order neighbors. In this paper, we propose the Heterogeneous Heterophilic Spectral Graph Neural Network (H2SGNN), which combines local independent filtering to adaptively handle meta-path subgraphs with varying homophily ratios, and global hybrid filtering to capture high-order neighbor interactions with linear computational complexity. On five heterogeneous graph benchmarks—DBLP, ACM, IMDB, AMiner, and Yelp—H2SGNN consistently outperforms strong baselines, for example, achieving +1.0% Macro-F1 and +1.3% Micro-F1 on IMDB. It …

Using Large Language Models To Analyze Political Texts Through Natural Language Understanding, Kenneth Benoit, Scott De Marchi, Conor Laver, Michael Laver, Jinshuai Ma

Research Collection School of Social Sciences

Large language models (LLMs) offer scalable alternatives to human experts when analyzing political texts for meaning, using natural language understanding (NLU). Qualitative NLU methods relying on human experts are severely limited by cost and scalability. Statistical text-as-data methods are scalable but rely on strong and often unrealistic assumptions. We propose a systematic, scalable, and replicable method that can extend existing qualitative and quantitative approaches by using LLMs to interpret texts meaningfully rather than as mere data. Our ensemble means of LLM-generated estimates of party positions on six key issue dimensions correlate highly with equivalent mean ratings by country specialists. When …

Transfer Learning Neural Networks For Nuclear Forensic Image Morphology Using Image Splitting Techniques, Niko A. Petrocelli, Lee C. Lambert, Brett J. Borghetti, Abigail A. Bickley

Faculty Publications

Manual morphological analysis of actinide particles from scanning electron microscope (SEM) imagery is a critical component of nuclear forensics but is prone to significant inter-analyst variability. To address this challenge, this work develops and evaluates an automated classification method using deep learning. We introduce a methodology based on partitioning 1906 SEM images, representing 13 classes of uranium compounds, into smaller patches for analysis. Three convolutional neural network (CNN) architectures of increasing complexity were compared: a custom baseline CNN, a simple transfer learning model using ResNet50v1, and a complex model featuring hierarchical feature extraction and a spatial attention mechanism built upon …

Graph Convolution Neural Network And Deep Q-Network Optimization-Based Intrusion Detection With Explainability Analysis, Kelvin Mwiga, Mussa Dida, Leandros Maglaras, Ahmad Mohsin, Helge Janicke, Iqbal H. Sarker

Research outputs 2022 to 2026

As networks expand in size and complexity, coupled with an exponential increase in intrusions on network and IoT systems, this leads to traditional models failing to capture increasingly intricate correlations among network components accurately. Graph Convolution Networks (GCNs) have recently acquired prominence for their capacity to represent nodes, edges, or entire graphs by aggregating information from adjacent nodes. However, the correlations between nodes and their neighbours, as well as related edges, differ. Assigning higher weights to nodes and edges with high similarity improves model accuracy and expressiveness. In this paper, we propose the GCN-DQN model, which integrates GCN with a …

Stard-Net: Spatiotemporal Attention For Robust Detection Of Tiny Airborne Objects From Moving Drones, Hasibur Rahman, Sanjay Kumar Madria

Computer Science Faculty Research & Creative Works

The rapid adoption of drones across various domains, alongside advancements in computer vision, has driven growing interest in vision-based airborne object detection from moving aerial platforms. However, this task remains challenging due to the small scale of objects, camouflage within cluttered backgrounds, and occlusions. To address these challenges, we introduce an end-to-end detection framework that integrates a Drone Receptive Field Block (DRFB) to extract multiscale and geometrically diverse features, specifically designed to enhance the detection of small and camouflaged airborne objects. To model motion patterns over time while preserving spatial structure, particularly for detecting camouflaged, cluttered and occluded objects with …

Software Engineering In The Age Of Coding Agents: Failure Modes And Rejection Patterns, Mahd Mohd Hindi

Theses

This thesis investigates the real-world behavior of LLM-driven coding agents that generate code changes and submit pull requests (PRs) to public software repositories. As these tools evolve from autocomplete-style assistants into more autonomous agents, their contributions increasingly interact with socio-technical review processes (human reviewers, bots, CI/CD gates, and project norms). The thesis focuses on understanding why agent-generated PRs are accepted or rejected and what these outcomes reveal about current agent limitations in practical development workflows.

The main objective of this thesis is to systematically characterize rejection patterns and failure modes of agent-generated pull requests in real repositories. Specifically, the thesis …

Opencil: Benchmarking Out-Of-Distribution Detection In Class Incremental Learning, Wenjun Miao, Guansong Pang, Trong-Tung Nguyen, Ruohuan Fang, Jin Zheng, Xiao Bai

Research Collection School Of Computing and Information Systems

Class incremental learning (CIL) aims to learn a model that can not only incrementally accommodate new classes, but also maintain the learned knowledge of old classes. Out-of-distribution (OOD) detection in CIL is to retain this incremental learning ability, while being able to reject unknown samples that are drawn from different distributions of the learned classes. This capability is crucial to the safety of deploying CIL models in open worlds. However, despite remarkable advancements in the respective CIL and OOD detection, there lacks a systematic and large-scale benchmark to assess the capability of advanced CIL models in detecting OOD samples. To …

A Cryptographic Perspective On The Verifiability Of Quantum Advantage, Nai-Hui Chia, Honghao Fu, Fang Song, Penghui Yao

Computer Science Faculty Publications and Presentations

In recent years, achieving verifiable quantum advantage on a NISQ device has emerged as an important open problem in quantum information. The sampling-based quantum advantages are not known to have efficient verification methods. This article investigates the verification of quantum advantage from a cryptographic perspective. We establish a strong connection between the verifiability of quantum advantage and cryptographic and complexity primitives, including efficiently samplable, statistically far but computationally indistinguishable pairs of (mixed) quantum states (EFI), pseudorandom states (PRS), and variants of minimum circuit size problems (MCSP). Specifically, we prove that a) a sampling-based quantum advantage is either verifiable or can …

Sensi-Train: Context-Aware Sensitive Content Detection Using Transformers And Large Language Models, Nazeefa Muzammil

USF Tampa Graduate Theses and Dissertations

The detection of sensitive content has become a critical task in natural language processing due to the widespread use of online platforms and the social harm caused by it. Even though current methods have advanced significantly, many of them mainly rely on surface-level text and neglect to take into consideration contextual and cultural elements that are crucial for correctly assessing sensitivity of any content to a particular individual. Due to this, implicit offense, sarcasm, and culturally grounded expressions frequently cause problems for such systems. To enable culturally grounded sensitive content detection, this thesis presents Sensi-Train, a context-rich dataset and modeling …

Bl(U)E Crab: Bluetooth Low Energy Connection Risk Assessment Benchmarking, Dylan Christopher Conklin

Dissertations and Theses

The usage of Bluetooth Low Energy (BLE)-based tracker devices for stalking has become a salient privacy concern. Detecting unwanted or suspicious trackers is challenging due to their cross-platform compatibility issues, inconsistent detection methods, and lack of an industry-wide standard for detecting malicious devices. BL(u)E CRAB, Bluetooth Low Energy Connection Risk Assessment Benchmarking, scans data and generates risk factors about nearby devices to classify them as suspicious or not. These risk factors include the number of encounters the user had with a device, the duration of time a device has been near the user, the distance a device has traveled …

Unraveling Patch Size Effects In Vision Transformers: Adversarial Robustness In Hyperspectral Image Classification, Shashi Kiran Chandrappa, Sidike Paheding, Abel A. Reyes-Angulo

Michigan Tech Publications

Highlights: This work investigates the effect of spatial patch size on the classification accuracy and adversarial robustness of Vision Transformer-based architectures for hyperspectral image analysis. What are the main findings? Smaller patch sizes generally exhibit stronger adversarial robustness while maintaining comparable clean classification performance. Larger patch sizes tend to reduce robustness by increasing sensitivity to localized adversarial perturbations, with some dataset-dependent variations. What are the implications of the main findings? Spatial patch size is an important design consideration when applying Vision Transformers to hyperspectral image classification tasks. The findings provide practical guidance for informed patch-size selection in robust, deployment-aware transformer-based …

Cerebral Documents And Algorithmic Sensemaking: Searching For Expressions In Human And Artificial Cognitive Collaborations, Rebekah L. Cowell

Proceedings from the Document Academy

Generative Artificial Intelligences (AIs) and current advanced large language models (LLMs) are algorithmically designed to generate text-based conversations as conversational agents (CAs), by replicating human language and conversational communication. Pairing human cognition with generative computationally coded cognition. We have never been here before: cerebral and artificial information collaborations and processing producing expressions that may or may not become visible as second-hand/secondary source documents.

Sensemaking or sense(un)making is a unique autonomous human drive cognitively, our information processing is sensemaking in action and expressions and articulations are evidence of the sensemaking cycle. Documentation [expressed or articulated through various mediums] are a product …

Ai-Guided Binding Mechanisms And Molecular Dynamics For Mers-Cov, Pradyumna Kumar, Lingtao Chen, Rachel Yuanbao Chen, Yin Chen, Seyedamin Pouriyeh, Progyateg Chakma, Abdur Rahman Mohd Abul Basher, Yixin Xie

Faculty Articles

The MERS-CoV (Middle East respiratory syndrome coronavirus) is a zoonotic virus with a high mortality rate and a lack of antiviral drugs, underscoring the need for effective therapeutic methods. Viral entry depends on interactions between viral surface proteins and human receptors, with Dipeptidyl Peptidase-4 (DPP4), a transmembrane glycoprotein, acting as the receptor for MERS-CoV. We employed Molecular Dynamics (MD) Simulations to identify critical interface residues under a high-performance computing (HPC) workflow for accelerated results. Target residue pairs were identified through analysis of salt bridge and hydrogen bond occupancy. The stability of these residues was confirmed through three independent MD Simulations …

Hybrid 3d Modelling Framework For Indoor Navigation Using Federated Learning And Internet Of Things-Enabled Edge Devices, Noopur Tyagi, Jaiteg Singh, Saravjeet Singh, Ahmad Ali Alzubi, Farman Ali, Sukhjit Singh Sehra, Babar Shah

All Works

Background There has been a recent trend towards using three-dimensional (3D) models to enhance spatial awareness and maximize resource utilization in complex environments. 3D building model can be used in various applications, such as real-time guidance and tracking the positions of individuals in multi storied buildings. Cities are now being modeled and studied in three dimensions as an improved method of urban planning. Method This study proposes an advanced indoor navigation framework that combines 3D modelling, federated learning (FL), and Internet of Things (IoT) integration to deliver reliable floor-level localization and real-time guidance. In Phase 1, highly accurate 3D models …

Artificial Intelligence In Nuclear Cardiology: Technical Perspectives, Strategic Directions, And Recommendations From An Iaea Expert Working Group, Christiane Wiefels, Luis Eduardo Juárez-Orozco, Pietro Selemo Craviolatti, Oleksandr Diahiliev, Amir Eskander, Raffaele Giubbini, Weihua Zhou, Et Al.

Michigan Tech Publications

Artificial intelligence (AI) is increasingly permeating nuclear cardiology and offers the possibility to enhance diagnostic accuracy, prognostic stratification, and operational efficiency. AI is demonstrating applicability across the imaging workflow—from individualized patient selection and adaptive image reconstruction to denoising of low-dose datasets, automated attenuation and motion correction, calcium scoring, and the integration of imaging with clinical and functional variables for enhanced diagnosis and comprehensive risk assessment. But the translational trajectory of AI in nuclear cardiology is challenged by the lag in fundamental AI knowledge among researchers and clinicians, the quality of the target data regarding heterogeneity in acquisition protocols, scanner platforms, …

Pediatric Inflammatory Bowel Disease Tissue Classification From Pathology Slide Images: Detecting Phenotypes Using Computer Vision, Chloe Martin-King, Ali Nael, Louis Ehwerhemuepha, Blake Calvo, Quinn Gates, Jamie Janchoi, Elisa Ornelas, Melissa Perez, Andrea Venderby, John Miklavcic, Peter Chang, Aaron Sassoon, Brian Rubio, Ghislaine Barrigan, Kenneth Grant

Food Science Faculty Articles and Research

Background and Aims

Methods

Results …

Robust Medical Image Prediction Via Adaptive Reconstruction: Bridging The Gap In Low-Quality Data, Prateek Singhal, Madan Singh

Journal of Informatics and Web Engineering

Medical image prediction plays a very significant role in clinical decision-making and early detection and diagnosis of different diseases. However, the quality of medical images has a huge impact on the predictive models' accuracy. Poor-quality data usually occurs due to problems like noise, artifacts, and low resolution and poses a major challenge for reliable medical image prediction. Framework advances medical image analysis through three novel contributions firstly, A hybrid architecture combining wavelet-based denoising with deep learning (DL) enhancement (unlike existing single-approach methods). Secondly, Cross-modality robustness validated on low-quality CT/MRI/X-rays from real clinics (versus modality-specific solutions), and lastly, A closed-loop system …

Radiology Report Generation Using Deep Learning And Web-Based Deployment For Chest X-Ray Analysis, David Agbolade, Peyman Heydarian, Shakeel Ahmad

Journal of Informatics and Web Engineering

The huge rise in the number of medical images has caused a major problem in radiology departments. Radiologists are now working harder than ever, which affects the quality of their diagnoses and patient care. It takes 15 to 30 minutes to write a manual radiological report for each case, and different people may see things differently. Modern departments process over 230 cases a week, which causes long delays in diagnosis. Automated report generation systems that are already in use have a lot of problems, such as not being able to be interpreted clinically, not having enough Digital Imaging and Communications …

Optimised Data Integration Using Transformer Model And Resource Description Framework, Jerome Aondongu Achir, Muhammad Abdulkarim, Mohammed Abdullahi

Journal of Informatics and Web Engineering

Organizations have become highly reliant on a range of data sources that span structured, semi-structured, and unstructured data types. These repositories allow large-scale storage for faster ingestion and analytics but pose tremendous challenges of integration owing to schema and contextual differences. Traditional data integration methods, such as the ontology-based Resource Description Framework (RDF), are often inadequate when dealing with these challenges. They specifically struggle with the dynamic evolution of the schema of data sources, context-aware interpretation, and achieving interoperability across heterogeneous data sources. This paper presents an integrated system that augments resource description knowledge with token embeddings using the attention …