Digital Commons Network^™

Finding Missing Input Validation In Tees Via Llm-Assisted Symbolic Execution, Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Yuqing Niu, David Lo

Research Collection School Of Computing and Information Systems

Trusted Execution Environments (TEEs) provide hardware-enforced isolation that protects sensitive code and data from untrusted software. Despite their strong security guarantees, analyzing TEE applications remains challenging due to the high cost and complexity of configuring complete TEE build and runtime environments, as well as the limited observability imposed by hardware isolation. This paper presents SymTEE, a novel large language model (LLM)-assisted symbolic execution framework for detecting missing input validation issues in TEE applications without requiring real TEE setups. SymTEE begins by leveraging Abstract Syntax Tree (AST) analysis to extract TEE code slices that may lack sufficient input validation, and then …

Columnas: The Honors Program Newsletter At Bentley University, Amanda Li, Wilson Jan, Michael Raphael, Alexandra Rieckehoff, Karina Wu, Michael Shehata, Nilufar Noorian, Eloise Weintraub

Honors Program

INSIDE THE MODERN WORLD

Page 2: Stepping Out by Amanda Li

Page 3: Inside the Corporate Slop Bowl by Wilson Jan

Page 4: The Silencing: An Evaluation of the Global Attacks on the Right to Protest by Michael Raphael

THE SOUND OF CHANGE

Page 5: The Social, Cultural, and Economic Impact of Bad Bunny by Alexandra Rieckehoff

Page 6: Streaming Changed Music, But Is It Fair to Artists? by Karina Wu

Page 7: Feeling the Music: How Haptic Wearables Are Changing the Way We Experience Sound by Michael Shehata

SHIFTING SYSTEMS

Page 8: The Story Behind Davos, One of the …

Storycomposerai: Supporting Human-Ai Story Co-Creation Through Decomposition And Linking, Shuo Niu, Dylan Clements, Marina Margalit Nemanov, Hyungsin Kim

Computer Science

GenAI's ability to produce text and images is increasingly incorporated into human-AI co-creation tasks such as storytelling and video editing. However, integrating GenAI into these tasks requires enabling users to retain control over editing individual story elements while ensuring that generated visuals remain coherent with the storyline and consistent across multiple AI-generated outputs. This work examines a paradigm of creative decomposition and linking, which allows creators to clearly communicate creative intent by prompting GenAI to tailor specific story elements, such as storylines, personas, locations, and scenes, while maintaining coherence among them. We implement and evaluate StoryComposerAI, a system that exemplifies …

Scenarioxp: A Complete Scenario-Based Testing Framework For The Exploration And Exploitation Of Autonomous Vehicle Validation Scenarios, Quentin Goss

Doctoral Dissertations and Master's Theses

Today is an age of exciting emerging technology where cutting-edge research in autonomous vehicles (AVs) reduces the active human participation in driving and extends awareness beyond human limitations of perception and reaction, improving driving safety and quality of the user experience as a result. The ever-increasing complexity of these autonomous systems poses many challenges towards the validation and verification (V\&V) of these complex systems under time and resource constraints, as the use of artificial intelligence and also the intricacy of the operating environment means that these systems are also black-box and non-deterministic. Scenario-based V\&V testing of such systems, which involves …

Study Of Output And Behavior Of Llms Using Confidence Framing In Prompt Engineering, Micah Parrilla

Doctoral Dissertations and Master's Theses

While prompt engineering is pivotal for shaping Large Language Model (LLM) outputs, the impact of confidence framing on behavioral calibration remains underexplored. This study investigates the ways in which psychological framing, utilizing techniques such as capability praise, role amplification, and doubt induction, affects linguistic tone, objective accuracy, and internal calibration. A 1,080-trial experimental matrix evaluated six diverse models across factual, logical, coding, and cyber security domains. Analysis using the Kruskal-Wallis H-test revealed highly significant behavioral shifts across all measured dimensions, providing conclusive evidence that the applied frames exert a substantial influence on model performance.

The findings identify a distinct cognitive …

Developing A Multi-Band Gnss Remote Sensing Station To Measure Precipitable Water Vapor For Flash Flood Nowcasting, Madison Gleydura

Doctoral Dissertations and Master's Theses

Flash flood nowcasting in Central and Southern Appalachia is particularly challenging due to steep terrain, narrow valleys, highly localized rainfall patterns, and limited measurement coverage. Traditional remote sensing methods, such as Doppler radar and microwave radiometry, suffer from reduced resolution at long range and signal blockage by mountains. GNSS-meteorology offers an established alternative for measuring precipitable water vapor and is currently integrated into several numerical weather models. Recent research demonstrates that commercial-grade GNSS receivers can produce tropospheric products comparable to those from geodetic-grade equipment. The gaps in mountain coverage can be addressed by developing a low-cost, self-contained embedded system that …

Data Tracking And Analytics Within Inventory Management: Coffee Shop And Retail Store Optimization, Mateo J. Moyon

Senior Theses

This thesis examines the application of inventory management theory in the small and medium-sized business context, with a specific focus on the food and beverage industry. Drawing on the foundational academic literature spanning from Harris’s EOQ formula in 1913 through stochastic inventory theory, ABC analysis, and just-in-time strategy, this paper establishes the mathematical and operational bases for modern inventory management practice. Although there are proven value to these frameworks, research demonstrates that small to medium sized businesses adopt inventory management systems at lower rates citing cost and implementation as barriers. This thesis argues that the emergence of low-cost inventory and …

Fallen Light (Video Game), Joshua Do

Presentations - 2026

Problem:

•People misunderstand Lucifer’s deception

•(shown through Temptation of Jesus in Matthew 4) •Lack of engaging ways to teach theological concepts   •Background: Lucifer corrupts not through force, but subtle self-elevation and doubt   Motivation:   •Just initially wanted to make a game of how sin entered the world for fun   •Just thought it was a cool idea in general.

Solution:

•Dialogue-driven narrative game   •6+ story chapters   •10+ regions   •Focused on spiritual conflict, deception, and discernment   •Uses event-based progression   •Presents Lucifer through subtle manipulation, by being a false light by choosing self-pleasure over what is right.

Fisheasy, Jake Rankin

Presentations - 2026

Problem: 
Inexperienced and experienced anglers lack necessary tools to begin fishing

Motivation:
Fishing is a fun hobby everyone should be able to enjoy – the lack of resources makes that difficult

Solution:
An application that integrates learning tutorials with helpful practices tools for both novice and experienced anglers

Foxbuddy, Luis Eduardo Garza Jr.

Presentations - 2026

Problem:
•Many people are still unprepared incase of an emergency. (42%-46% are prepared for an emergency)
•Supplies can be scattered, expired, or forgotten.   •Reliable guidance is often not easy to access.

Fisheasy, Jake Ryan Rankin

Posters - 2026

The purpose of FishEasy is to create an all-in-one fishing application that supports both beginner and experienced anglers through education, recommendations, and data tracking. Many new anglers struggle with understanding gear, knots, bait, and locations, while existing tools often limit access through paid features. FishEasy addresses these gaps by providing:

• Educational Tutorials for knots, rigs, and beginner guidance • Smart Recommendations based on location, species, and conditions • Catch Logging & Analytics to track performance • Regulation Awareness for legal fishing practices


Overall, FishEasy aims to make fishing more accessible, efficient, and easy to learn for all users.

Spinlock Game Engine, Shane Misley

Posters - 2026

Modern game engines prioritize developer convenience at the cost of performance and transparency. Large frameworks like Unity and Unreal Engine abstract away implementation details, which simplifies development but introduces computational overhead—often 40-50% of CPU and memory usage goes to engine infrastructure rather than the actual game. For developers targeting low-end hardware, older systems, or performance-critical applications, this overhead becomes prohibitive. The Spinlock Engine addresses this problem by adopting a "close-to-the-metal" philosophy, stripping away unnecessary abstraction layers to deliver raw speed and predictable behavior. Built in C++ with SDL3 and Raylib, Spinlock prioritizes memory efficiency, CPU optimization, and developer transparency—allowing you …

Sentra, David Aguilar

Posters - 2026

In the fast-paced space of event organization, fostering continuous collaboration among participants is essential. However, organizers often lose valuable time monitoring multiple, disconnected systems once an event is underway. Enter Sentra: an all-in-one Discord bot tailored specifically for weekend events like hackathons. Sentra bridges the gap between participants and organizers by consolidating seamless team matchmaking, robust support ticketing, and automated AI moderation into a single, unified interface.

Synapse, Nicolas Diaz, Alexander Murphy, Sonia Cerrillo, Naomi Ramirez, Jesse Kemmer

Posters - 2026

People tend to accumulate a great deal of notes throughout their lives with no coherent way to organize them. Even with the built-in notes app, the notes eventually accumulate until it becomes borderline impossible to find what is needed. Our proposed solution is Synapse, an LLM powered notes app with a tagging system that allows notes to be sorted by topic. The LLM will be able to read the user's notes and recommend tags

Ai Dependence And Its Impact On Human Decision-Making Quality And Supply Chain Efficiency, Jesus Salazar, Leonardo Fabbri, Axel Villegas

Posters - 2026

• Artificial Intelligence (AI) is transforming supply chain management by enabling:
  • Data-driven decision-making
  • Improved forecasting accuracy
  • Enhanced operational efficiency (Choudhary et al., 2023; Ivanov & Dolgui, 2021)
• AI applications such as predictive analytics support:
  • Inventory optimization, Logistics planning
  • Procurement decisions in real time
• However, increasing reliance on AI introduces risks:
  • Automation bias (over-trusting AI outputs)
  • Reduced human critical thinking
  • Overdependence on algorithmic recommendations (Raisch & Krakowski, 2021)
• This study examines the dual impact of AI dependence on:
  • Decision-making quality
  • Supply chain efficiency
• Objective:
  • Identify whether AI improves performance or reduces human effectiveness
  • Determine the optimal balance between AI support and human …

From Attention To Reasoning: Beyond Accuracy In Multimodal Ai, Wayner Barrios

Dartmouth College Ph.D Dissertations

Multimodal large language models have achieved impressive performance on vision-language benchmarks by integrating visual encoders with large language models. Yet a critical gap persists between benchmark accuracy and genuine multimodal understanding: current evaluation frameworks assess performance by final answers alone, rewarding confident predictions while leaving systematic reasoning failures undetected.

This thesis addresses this gap through a unified framework that progresses from understanding to reasoning, using video as the most comprehensive multimodal testbed. Video inherently combines vision, audio, and language with temporal dynamics and massive token redundancy; techniques developed for video's comprehensive challenges transfer naturally to simpler multimodal tasks.

On understanding …

Chopchop: The Digital Cookbook, Dominc Mcdevitt, Shane Misley, Adolfo Duran, Katie Cerda, Kobie Henson

Posters - 2026

Many of today's home chefs still use the same limited methods of saving recipes that have been used for decades, i.e. handwritten notes, disorganized pdfs, screenshots, saved text messages, etc. Not only are these formats hard to keep track of and easily lost, but they also suffer the risk of becoming irrevocably damaged or stained in the cooking process. They are also notoriously hard to edit, which limits a chef's ability to tailor recipes to their taste, their available ingredients, or even just a different serving size. Another major issue with these approaches is the lack of easy sharing. Giving …

Fallen Light, Joshua Do

Posters - 2026

Lucifer is often portrayed in popular media as purely evil; however, this interpretation overlooks the more complex idea of gradual moral corruption through deception and pride. The purpose of Fallen Light is to explore how doubt, pride, and subtle deception can lead even a highly exalted being away from God over time.. The game emphasizes the internal struggle between obedience and self-exaltation rather than immediate rebellion, and the problems with Being overly prideful.

Enhancing Financial Audit Operations Through Ai Anomaly Detection, Nadya Cousin, Rebekah Garza, Talisa Gomez

Posters - 2026

❖ Financial auditing plays a critical role in ensuring accuracy, regulatory compliance, and fraud detection in financial reporting

❖ Traditional audit approaches rely heavily on sampling and manual review processes, limiting their ability to scale with increasing data complexity

❖ The rapid growth of high-volume, high-velocity financial data (big data) has exposed significant limitations in traditional auditing, including:

• Incomplete data coverage
• Delayed anomaly detection
• Increased risk of material misstatements

❖ These limitations create a need for scalable, automated, and data-driven audit solutions

❖ Artificial Intelligence (AI), particularly anomaly detection models, enables:

•  Full-population testing
•  Real-time pattern recognition
•  Proactive risk identification

The Psychology Behind Ai-Generated Phishing And Social Engineering Attacks, A’Shya Reynolds

School of Cybersecurity Master's Level Projects and Papers

Cybercrime has evolved significantly with the integration of artificial intelligence (AI), transforming traditional phishing and social engineering attacks into highly sophisticated and personalized threats. While early phishing attempts relied on generic messaging and low success rates, modern AI-driven attacks leverage advanced data analytics, natural language processing, and behavioral prediction to manipulate victims more effectively.

This research examines how cybercriminals utilize AI to enhance psychological manipulation techniques in phishing and social engineering attacks, increasing victim susceptibility. Drawing from interdisciplinary literature in cybersecurity and psychology, this study explores key psychological mechanisms, including cognitive biases, emotional triggers, and decision-making processes that influence victim …

Deep Learning Based Approaches For Low Cost Defense Detection, Adele J. Noel-Rickert

All NMU Master's Theses

Pulmonary fibrosis is a progressive interstitial lung disease characterized by the accumulation of fibrotic tissue within the lungs, leading to impaired respiratory function and reduced quality of life. Early detection is important for disease management; however, accurate diagnosis often relies on high-resolution computed tomography (CT), which may not be accessible in all clinical settings. Chest radiography provides a lower-cost and widely available imaging modality, but interpretation of chest X-rays for fibrotic disease can be challenging due to subtle radiographic patterns and overlapping anatomical structures. This thesis investigates the use of multimodal deep learning techniques to assist in pul- monary fibrosis …

Llm-Driven Mission Control And Autonomous Planning For Search-And-Rescue Uavs: A Simulation-Based Evaluation, Naser Bader Alsaedi

Theses

Unmanned aerial vehicles (UAVs) are increasingly used in search‑and‑rescue (SAR) missions, yet many systems still rely on fragmented software where mission design, perception, and flight control are configured separately. This thesis examines whether a unified AI‑driven framework can reduce configuration effort and operator workload in UAV‑based SAR operations. The proposed system integrates natural‑language mission specification using a large language model (LLM) (LLaMA 3.1), autonomous coverage planning, YOLOv8‑based victim detection, and PX4/MAVSDK control within a single architecture. Operators describe missions through free‑form text or a graphical interface; the model converts these descriptions into structured mission parameters that are automatically planned and …

Altered Pruning In A Generative Neural Network, Sara Momen

Honors Theses

This study examines whether altered pruning in a generative neural network leads to more restricted or repetitive outputs, using Autism Spectrum Disorder (ASD) as a cautious computational analogy rather than as a biological equivalence. A compact denoising diffusion probabilistic model (DDPM) with a U-Net backbone was trained on CIFAR-10, and pruning percentage was treated as the primary structural variable. Instead of relying on a single assumed baseline, the final implemented study evaluated 0%, 10%, 15%, 20%, 35%, and 50% pruning under controlled conditions: the same dataset, the same epoch budget, the same random seed, and 1,000 generated samples per condition. …

Ai-Powered Knowledge Management Systems Across Industries: A Systematic Review Of Applications, Implementation Barriers, And Ethical Challenges, Edmund Evangelista, Ghazala Rizvi

All Works

This systematic literature review (SLR) evaluates the existing literature on the benefits, implementation challenges, and ethical concerns associated with Artificial Intelligence (AI)-driven Knowledge Management Systems (KMS) across industries. The SLR followed PRISMA guidelines to identify studies from Scopus, Web of Science, JSTOR, and Google Scholar, using inclusion and exclusion criteria. Critical Appraisal Skills Programme (CASP) checklists were used to assess methodological quality and risk of bias in the included studies, and a structured narrative synthesis was employed to synthesize the findings. The review of 21 articles reveals benefits like improved knowledge capture and creation, storage, retrieval, personalization, and efficient dissemination, …

Preserving The Past, Innovating The Future: Integrating Metaverse, Blockchain, And Generative Ai For Tourism And Cultural Heritage Preservation, Mousa Al-Kfairy, Amna Ahmed Aaber Ahmed Alqubaisi, Omar Alfandi

All Works

The preservation and accessibility of cultural heritage are seriously threatened by urbanization, mass tourism, neglect, and natural disasters. This study utilizes cutting-edge technologies to address these issues by presenting a novel framework that combines generative AI, blockchain, and the metaverse. The Metaverse provides immersive virtual experiences that lessen the physical strain on delicate locations by enabling the creation of lifelike digital replicas of cultural heritage sites. By creating immutable records, blockchain technology ensures the legitimacy, ownership, and traceability of digital assets, enabling open access and NFT monetization. Rebuilding lost or damaged artifacts, creating lifelike 3D models, and customizing user interactions …

Trash Bot!, Owen Hoffman , ‘26, Ryder Maston , ‘26, Jack Nicholson , ‘26

Senior Theses, Projects, and Awards

Trash Bot! is the prototype of a smart and mobile waste receptacle for Swarthmore’s waste management system. With Swarthmore College committing to embed zero waste into campus culture and achieve a 90% diversion rate by 2035, flexible waste systems must be developed and improved. Trash Bot! seeks to improve the diversion rate and sort accuracy on campus by reducing the human error present in the current waste sorting process. Trash Bot! was also designed to seamlessly integrate with a classroom environment, maintaining safety standards and avoiding collisions. Trash Bot! uses computer vision coupled with a trained classifier algorithm to achieve …

Generative Ai In Enterprises: Optimizing Applications With Large Language Models, Donghao Huang

Dissertations and Theses Collection (Open Access)

This dissertation investigates how to deploy Large Language Models (LLMs) effectively in enterprise settings, where accuracy, reliability, cost, privacy, and operational constraints often matter more than benchmark performance alone. Drawing on seventeen peer-reviewed publications (eleven published and six accepted for publication), the work develops and validates optimization strategies across three connected themes: retrieval-augmented generation (RAG), agentic AI for workflow automation, and deployment guidelines for real-world enterprise environments.

First, we study RAG optimization through systematic evaluation of open and proprietary models, highlighting conditions under which efficient open-weight models can match or exceed proprietary alternatives. To address a pervasive failure mode in …

Explainable Artificial Intelligence In The Image Domain And Its Applications To The Medical Field, Mirtha Lucas

Theses and Dissertations from DePaul University

This dissertation investigates the development of Explainable Artificial Intelligence (XAI) methods for deep learning models in the image domain, with a particular focus on medical imaging applications. Although neural networks achieve high predictive performance, their lack of interpretability limits their adoption in critical domains such as healthcare, where transparency and trust are essential. This work addresses this challenge by proposing novel approaches that improve the interpretability and reliability of model predictions.   A primary contribution is the introduction of Riemann–Stieltjes Integrated Grad-CAM (RSI Grad-CAM), a gradient-based attribution method that generates more relevant and spatially localized saliency maps. The method is evaluated …

Agentspec: Customizable Runtime Enforcement For Safe And Reliable Llm Agents, Haoyu Wang, Christopher M. Poskitt, Jun Sun

Research Collection School Of Computing and Information Systems

Agents built on LLMs are increasingly deployed across diverse domains, automating complex decision-making and task execution. However, their autonomy introduces safety risks, including security vulnerabilities, legal violations, and unintended harmful actions. Existing mitigation methods, such as model-based safeguards and early enforcement strategies, fall short in robustness, interpretability, and adaptability. To address these challenges, we propose AgentSpec, a lightweight domain-specific language for specifying and enforcing runtime constraints on LLM agents. With AgentSpec, users define structured rules that incorporate triggers, predicates, and enforcement mechanisms, ensuring agents operate within predefined safety boundaries. We implement AgentSpec across multiple domains, including code execution, embodied agents, …

Hypersiniel: Guaranteed Output Delivery Comes (Almost) Free In Private Delegation Of Zksnarks, Yunbo Yang, Yuejia Cheng, Junkai Liang, Kailun Wang, Xuanming Liu, Xiaoguo Li, Jianfei Sun, Jiachen Shen, Xiaolei Dong, Zhenfu Cao, Meng Hao, Guomin Yang, Deng, Robert H., Kui Ren

Research Collection School Of Computing and Information Systems

Zero-knowledge Succinct Non-interactive Argument of Knowledge (zkSNARK) is a powerful cryptographic primitive that enables a prover to convince a verifier that something is true without leaking the private witness.Current zkSNARKs face significant computational costs in generating proofs, which restricts their use in areas like private payments, confidential smart contracts, and anonymous credentials. Private delegation offers a practical solution by outsourcing the heavy computation to powerful external workers without leaking any private information. In this work, we propose HyperSiniel, an efficient private delegation framework for general zkSNARKs that achieves a new feature called guaranteed output delivery (GOD). HyperSiniel is designed to …