OS and Networks Commons^™

Prune: A Patching Based Repair Framework For Certifiable And Privacy-Robust Unlearning Of Neural Networks, Xuran Li, Jingyi Wang, Xiaohan Yuan, Peixin Zhang

Research Collection School Of Computing and Information Systems

Machine unlearning has emerged as a key mechanism for enabling the “right to be forgotten” in neural network models, allowing the selective removal of specific training data upon request. Existing approaches typically rely on retraining models with the remaining data, which is computationally expensive and difficult to verify, especially when deployed models are distributed or resource-constrained. To address this challenge, our prior conference work introduced PRUNE, a patching-based framework that formulates unlearning as a neural network repair problem. PRUNE achieves targeted forgetting by learning lightweight patch networks that redirect model predictions on the data to be unlearned while preserving performance …

Weavecc: Symbolically-Guided Joint Exploration Of Inputs And Schedules For Concurrency Bug Detection, William Philip Dinauer

Dartmouth College Master’s Theses

Concurrent programs introduce a class of bugs that depend jointly on both program inputs and thread schedules. Exposing these bugs requires simultaneously reasoning about which code paths are reachable and which thread interleavings are possible. At the same time, many existing tools handle the problem insufficiently. Race detectors observe only the interleavings that the OS happens to produce. Fuzzers explore inputs without controlling schedules. Tools that address both dimensions together exist, but are built on interpretation-based symbolic executors that incur considerable overhead.

We present WeaveCC, a practical concurrency testing tool for C/C++ programs that jointly explores inputs and thread schedules. …

Using Siamese Neural Networks To Effectively Detect Trojans In Fpgas When Trojans Manipulate Encryption Operations At The Bitstream Level, Kylie Arnett

Graduate Theses and Dissertations (2019 - present)

This research investigates security vulnerabilities in Field-Programmable Gate Arrays (FPGAs) at the bitstream level, focusing on hardware trojans (HTs) that manipulate encryption operations. This study addresses two critical questions: (1) The feasibility of exploiting FPGA bitstreams to selectively bypass encryption operations when a predefined input pattern is observed (all ones), thereby exposing sensitive data, and (2) the efficacy of Siamese Neural Networks (SNNs) in detecting such trojans with high accuracy. FPGAs are vulnerable to malicious modifications during manufacturing or deployment, posing risks to data integrity and system functionality. In this work, a trojan is inserted into a Xilinx series-7 FPGA …

Automated, Modular, Agentless Adversarial Emulation In Cloud Environments For Higher Education And Student Training, Doc Harley

Senior Honors Theses

Currently, the leading technologies in the market of adversarial emulation are MITRE Caldera, Atomic Red Team by IBM, and multiple proprietary products that come with support packages for different vendors like AttackIQ, Cymulate, SafeBreach, and many more. While it is clear that much work has been done in the broad category of adversarial emulation, when it comes to open source solutions, there are no agentless options with built in automation and modularity that have good support for cloud environments. Agentless adversarial emulation provides a unique advantage in that it can be both simpler and a better representation of the true …

Department Portfolio Web App*, Phillip Suvacarov, Tommy Aitchison

Campus Research Month

Southern Adventist University’s School of Computing produces numerous course projects, capstones, and research papers each year, yet there is no centralized, public showcase for this work. Our system provides a structured submission workflow for current and former students, faculty approval to ensure academic quality, and moderated commenting and likes to encourage constructive engagement. We outline the content model, role-based access control, and review queue, and describe search, tagging, and media support (including PDFs, images, and code links). By making student work visible beyond the classroom, the portfolio supports recruitment, alumni relations, and employer outreach while strengthening the School’s scholarly community.

Mass-Imaging Computers Over A Network For Southern's Information Technology Office*, Zane C. Meyers, Nicolas R. Goslee

Campus Research Month

Our research was meant to save time for Southern's IT department by researching and documenting a way to mass image computers in batches at a time over the network. The poster includes a introduction to our project, the research and testing process, and the results and conclusions drawn from this.

Large-Scale File Fragment Classification Via Multi-View Learning, Samuel Hildebrand

LSU Master's Theses

File reassembly is one of the most fundamental tasks in digital forensics, enabling recovery of data from potentially damaged storage media even when file system metadata is unavailable. This thesis reviews more than two decades of work in the realm of file carving, with a particular focus on fragmented file carving, which remains a focus of research, and file fragment classification, a principal component of fragmented file carving. This thesis serves a literature review of both file carving and fragmented file carving, surveys the massive amounts of data needed for the task of fragment classification and the datasets that serve …

From Network Packets To Physical Consequences: Network-Level Spoofing And Loss Of Visibility In Industrial Control Systems, Lillian B. Beck

LSU Master's Theses

Industrial Control Systems (ICS) are the foundation of critical infrastructure as they provide resources like clean water, electricity, and natural gas to support our everyday functions. Given their essential role in modern society, the failure or compromise of ICS systems can lead to significant negative consequences and public safety impacts. Understanding how these systems can be targeted and exploited by malicious actors is necessary to improve their security and resilience.

This research examines how an attacker could manipulate a real-world ICS network by targeting a fully functional Natural Gas (NG) Compressor Station Platform that emulates real operations. This research led …

Integrating Nonlinear Phase Space Analysis And Image-Based Representation For Network Intrusion Detection, Chakriya Suon

Shelby Hall Graduate Research Forum Posters

With the rise of cyber threats, cybersecurity continues to play a critical role in the ever-changing landscape of technology by protecting and defending against threat agents. Our research applies novel machine learning (ML)techniques to detect network intrusions effectively. Our primary focus is to extend prior research, which has used network flows that are processed by a nonlinear phase space algorithm (NLPSA). The NLSPA approach has proven extremely effective in detecting anomalous or malicious traffic patterns on representative data but requires extensive training time.

Our contribution integrates deep learning into the anomaly detection approach by creating image-based representations of the adjacency …

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 …

Appropriate Wireless Technology For Blue Data Communication To Enhance Artisanal Fishery, Abdi T. Abdalla, Eva Shayo, Angelina Misso, Baraka Maiseli, Kwame S. Ibwe, Narriman Jiddawi, Moses Ismail

Tanzania Journal of Science

The paper examines the development of a system architecture to support smart fishing. This includes the establishment of a blue data center, which would allow government agencies and research institutions to access fisheries data. The goal is to provide policymakers with the tools they need to efficiently manage artisanal fisheries resources. The architecture also incorporates wireless communication components that are suitable for small-scale fishers in remote areas. The study delves into the selection of appropriate wireless communication technology for transmitting fishing data to the communication center. Factors such as coverage range, data rates, and cost implications are taken into consideration. …

Part Ii: Industrial Information Integration Review 2020-2025, Jinzhi Li

Information Technology & Decision Sciences Faculty Publications

Industrial Information Integration Engineering (IIIE) has become increasingly essential for improving operational efficiency and harmonizing heterogeneous industrial systems through advanced digital integration approaches. Fueled by rapid advancements in Industry 4.0 technologies—including digital twins, artificial intelligence, immersive interfaces, and IoT infrastructures—IIIE is substantially transforming traditional enterprise architecture and integration frameworks. This systematic review synthesizes recent developments and emerging trends, with particular attention to the accelerating adoption of digital twins and the deepening convergence between operational technologies (OT) and information technologies (IT) across multiple sectors. While notable progress has been made, significant challenges persist, especially in developing resilient integration architectures and fully …

Micro-Behavioral Analysis Of Online Shopping Patterns For Blind Users, Yash Prakash, Akshay Kolgar Nayak, Nithiya Venkatraman, Sampath Jayarathna, Hae-Na Lee, Vikas Ashok

Computer Science Faculty Publications

While online shopping platforms provide convenience and autonomy to blind users, their non-visual interactions remain underexplored at a micro-behavioral level. Existing studies have primarily emphasized accessibility and usability challenges but have overlooked how fine-grained, screen reader-driven keystroke-level behaviors reflect users’ cognitive strategies. In this paper, we present the findings of a longitudinal study with 25 blind participants to examine their micro-behavioral patterns, using keyboard activity and screen reader logs on both familiar and unfamiliar e-commerce websites. We complemented this study with semi-structured interviews to contextualize the uncovered micro-behavioral patterns. Our results revealed patterns in how blind users draw upon cognitive …

Ai-Driven Penetration Testing For Arm Systems: A Comprehensive Framework With Experimental Validation, Matthew Ragsdale

College of Graduate Studies: Theses & Dissertations

The convergence of artificial intelligence and cybersecurity presents new opportunities for automated penetration testing capable of discovering, prioritizing, and remediating vulnerabilities at machine speed. However, deployment on resource-constrained ARM platforms remains unexplored despite ARM’s dominance in mobile, IoT, and edge computing with over 280 billion chips deployed globally. This thesis presents systematic experimental evaluation of AI-driven penetration testing across four paradigms—traditional machine learning, deep learning, large language models, and reinforcement learning—on three ARM platform tiers: Raspberry Pi 5 (8GB, Cortex-A76), Radxa ROCK 5B Plus (16GB LPDDR5 with NPU), and NVIDIA Jetson Nano (4GB with Maxwell GPU). The experimental framework generates …

Adaptive Boundary-Aware Fact-Checker Placement For Misinformation Suppression In Social Networks, Mostafa Taghizade Firouzjaee, Ghazal Naderi, Ross Gore, Neda Moghim

School of Cybersecurity Faculty Publications

The spread of fake news on online social networks is driven by imitation-based user behavior and network topology, often leading to persistent misinformation clusters and echo chambers. In this study, we develop a spatial evolutionary game-theoretic framework in which agents update their latent opinions through payoff-biased imitation, while external fact-checkers act as non-imitative intervention nodes. Building on this formulation, we propose an adaptive, boundary-aware intervention mechanism that dynamically regulates both the density and spatial allocation of fact-checkers according to real-time system conditions. Competing information clusters are identified through local neighborhood composition, enabling boundary nodes, i.e., interfaces between fake-news and non-fake-news …

Toward Secure And Practical Machine Learning-Based Access Control: A Framework With Real-World Constraints And Adversarial Analysis, Olusesi Balogun, Mohammad Ghasemigol, Zhipeng Cai, Daniel Takabi

School of Cybersecurity Faculty Publications

Attribute-Based Access Control (ABAC) frameworks coordinate access requests based on subject, object, and environment attributes, as well as policy rules, and are widely used in corporate security systems. Recently, machine learning has been applied to ABAC to address policy-generation imbalances, misassigned privileges, and attribute leakages. However, existing MLBAC techniques do not consider the structural constraints and attribute interdependencies present in traditional ABAC systems. Moreover, these frameworks have not been extensively evaluated under black-box attack scenarios. To address these gaps, we propose extensions to MLBAC that integrate structural constraints, attribute dynamism, and attribute weighting into the MLBAC objective function. Additionally, we …

Stochastic Fractional-Order Memristive Fuzzy Bam Neural Networks With Time Delays And Leakage Term For Finite-Time Stability Analysis, J. Kumar, M. Syed Ali, Sumaya Sanober, Mohammad Yarish, Abeer M. Alotaibi, Tarek F. Ibrahim

Computer Science Faculty Publications

In this study, a finite-time stability analysis with time delays and a leakage term is conducted on stochastic fractional-order memristive fuzzy BAM neural networks. FOMFBAMNNs are developed using set-valued map theories as well as differential inclusion. We obtained several significant adequate criteria of uniform stability in the mean square of such networks by using analytical methods and inequality approaches, such as Cauchy–Schwarz inequality and Burkholder–Davis–Gundy inequality. In addition to examining two different fractional-order derivatives between the U-layer and V-layer synchronously with fractional order, the existence, uniqueness, and stability of its equilibrium point are also shown ½ ≤ α ≤ 1. …

Gem-Can: A Real-World Dataset Of Can-Bus Attack Scenarios On An Autonomous Vehicle For Intrusion-Detection Research, Mahsa Tavasoli, Abdolhossein Sarrafzadeh, Ali Karimoddini, Tienake Phuapaiboon, Milad Khaleghi, Daniel Tobias

Electrical & Computer Engineering Faculty Publications

This paper presents GEM-CAN, a labelled Controller Area Network (CAN) dataset captured from an autonomous GEM e6 platform under both normal operation and controlled cyber-attack conditions.

The dataset contains ∼143 K frames comprising (i) ∼ nominal autonomous operation (∼100k messages), (ii) DoS floods using arbitration ID 0 × 00000000 (∼41 K messages), and (iii) data-tampering injections that reuse legitimate IDs for brake and steering-lock (∼1.3 K messages). Each record includes timestamp, arbitration ID (11/29-bit), DLC, eight payload bytes, and a Normal/Attack label. A companion metadata file enumerates attack windows, PCAN bus-load traces, bitrate, and test conditions. Data were collected with …

Defending A Soho Network Against Mitm Attacks, Braeden J. Wise

Williams Honors College, Honors Research Projects

Cybersecurity is a vast domain that consists of many threats that target sensitive information found on wired and wireless networks. One of those threats is a man-in-the-middle (MITM) attack, which involves an attacker situating themselves between a sender and a receiver to intercept or redirect network traffic. These kinds of attacks can run rampant on a small office home office (SOHO) network due to the vulnerabilities and lack of enterprise level tools. The intent of this project is to perform and defend against MITM attacks for a SOHO network. In the context of the project, three MITM attacks will be …

Analyzing Network Traffic And Data Exfiltration Via Smb In Post-Vm Escape Scenarios, Noah M. Disanza

Williams Honors College, Honors Research Projects

Virtual machines (VMs) play a crucial role in modern IT infrastructure environments by providing isolation and enhanced security, among other things, for both personal and corporate systems. VMs are heavily rely upon to safely test malware, manage infrastructure, and reduce risk to host systems. This reliance is so substantial that the idea of reducing risk to the host system is believed to be erasing risk entirely. However, this mindset has shown to be challenged time and time again by the emergence of exploits known as virtual machine escapes. These exploits allow malicious actors to break out of the virtualized environment …