Click on the year to see the Computer Science dissertations for that year.

Examining the Divide: Understanding Differential Reach and Accessibility in K-12 Cybersecurity Education
Johanna Jacobs
August 2024

Over-the-Air Firmware Update for Energy Harvesting IoT Devices
Wei Wei
August 2024

Static and Binary Source Code Vulnerability Analysis with Transformer-Based Generative Models
Nafis Tanveer Islam
July 2024

Practical Parallel Algorithms over GIS Datasets for Segment Tree-Based Clipping and for Quad Tree-Based Encoding to Search for Similar Shapes
Buddhi Ashan Mallika Kankanamalage
July 2024

Methods for Gene Regulatory Network-Based Knowledge Discovery and Cancer Outcome Prediction
Tanzira Najnin
July 2024

Detection of Live Ransomware Attacks Using Processor and Disk Usage Data
Kumar Thummapudi
July 2024

Robust Techniques to Detect and Mitigate Volumetric and Non-Volumetric Network Attacks
Vasudha Vedula
July 2024

Friend or Foe? Evaluating Sensor-Based Information Side-Channels and Covert Communication Channels on Modern Wearable Devices
Raveen Wijewickrama
July 2024

Efficient PPG-Based HR/HRV Monitoring with Learning Techniques
Yuntong Zhang
July 2024

Containerized Computer Vision Applications on ARM-Powered Edge Devices
Osamah Alqaisi
April 2024

Runtime Verification of Real-Time Properties and Bounded Model Checking in the Thorium Reactive Programming Language
Kevin Baldor
April 2024

Resource-aware Tiny Machine Learning for Battery-less System
Sahidul Islam
April 2024

SLO-Aware Resource Management for Edge Computing
Peng Kang
April 2024

Synthesis and Applications of Flow-Based Computing
Jodh Singh Pannu
April 2024

Leveraging Latent Fields
Ethan Payne
April 2024

Structured Segment Rescaling with Gaussian Processes for Parameter Efficient ConvNets
Bilal Siddiqui
April 2024

Computer Aided Proofs for the VC-Dimension of Art Gallery Variants
Zhongxiu Yang
April 2024

Benchmarking Container Technologies for ARM-Based Edge Computing
Shahidullah Kaiser
January 2024

Static Source Code Vulnerability Analysis with LLM-based Generative Models
Nafis Tanveer Islam
November 2023

Neuro-Symbloic Artificial Intelligence: Improving upon Neural Algorithms Using Structured Knowledge
Suraj Singireddy
November 2023

Toward Lightweight, Energy-Efficient, and Secure DNN Inferencing on Edge Devices
Hasanul Mahmud
September 2023

Synthesis and Applications of Flow-Based Computing
Jodh Pannu
September 2023

Automated Reasoning Using Neuro-Symbolic Artificial Intelligence
Suraj Singireddy
September 2023

Computer Vision Applications on ARM-Powered Edge Devices
Osamah Alqaisi
August 2023

Trustworthy Machine Learning for Early Detection of Malicious Network Traffic
Garett Fox
August 2023

Reporting Cross-Project Failures in Build Systems
Sunzhou Huang
August 2023

Polar Sea Ice Classification and Prediction over Remote Sensing Datasets Using Spatio-Temporal and Machine Learning Techniques
Jurdana Masuma Iqrah
August 2023

Methods to Mitigate Ransomware Attacks Using Processor and Disk Usage Data
Ananda Kumar Thummapudi
August 2023

Scalable Geometric Intersection and Approximate Nearest Neighbor Similarity Search Over Large Geospatial Polygonal Datasets
Buddhi Ashan Mallika Kankanamalage
August 2023

S2DE: A Framework for Quantifying Cyber Social Engineering Email Sophistication, Susceptibility, and Defense Effectiveness
Rosana Montanez Rodriguez
August 2023

Enhanced Approaches to Detect and Mitigate Volumetric or Non-volumetric Network Attacks
Vasudha Vedula
August 2023

Friend or Foe? Evaluating Motion Sensor-Based Information Side-Channels and Covert Communication Channels on Modern Wearable Devices
Raveen Wijewickrama
August 2023

Towards Understanding the Impacts of Virtua Terrain on User Experiences in VR
Samuel Ang
June 2023

Leveraging Latent Fields
Ethan Payne
May 2023

Multimodal Feedback Techniques to Increase Accessibility of Immersive Virtual Reality
M. Rasel Mahmud
April 2023

Enhancing Depth Estimation in Adverse Lighting Scenarios for Autonomous Driving
Kebin Peng
April 2023

When and How To Protect? Modeling Repeated Interactions with Computing Services under Uncertainty
Kavita Kumari
June 2022

Tight Error Bounds for Weak Consistent Digital Line Segment Systems
Sergio Zamarripa
May 2022

Enabling 3D Applications in Public Cloud
Tianyi Liu
May 2022

Robust and Interpretable Machine Learning Models for Cancer Outcome Prediction
Nahim Adnan
April 2022

Efficiently Reconstructing Alert Trees
Eric Ficke
April 2022

Static File Path Analysis for Reliable Resource Locating
Rodney Rodriguez
April 2022

Operation and Administration of Access Control in Iot Environments
Mehnroosh Shakarami
April 2022

Towards Automatic Cybersickness Prediction, Detection and Reductions for Virtual Reality Applications
Rifatul Islam
April 2022

Towards Quantifying Website Maliciousness
Mir Mehedi Ahsan Pritom
December 2021

Utilizing Deep Neural Networks for Cybersickness Prediction, Detection and Reduction in Virtual Reality
Rifatul Islam
November 2021

Secure Infrastructure for Internet of Medical Things Using Machine Learning
Deepti Gupta
November 2021

Feasibility Analysis of Access Control Policy Mining
Shuvra Chakraborty
November 2021

Reducing False Negatives In Taint Analysis Via Hybrid Source Inference
Xueling Zhang
November 2021

When and How To Protect? Modeling Repeated Interactions with Computing Services under Uncertainty
Kavita Kumari
October 2021

A Framework for Quantifying Security Effectiveness of Cyber Attacks and Defenses
Sen He
October 2021

Robust and Interpretable Machine Learning for Cancer Outcome Prediction
Nahim Adnan
September 2021

Role Based Access Control for Software Defined Networking: Formal Models and Implementation
Abdullah Al-Alaj
July 2020

Machine Learning Approaches to Improve Security and Performance Monitoring of IoT Devices
Olumide Kayode
July 2020

Code Element Vector Representations through the Application of Natural Language Processing Techniques for Automation of Software Privacy Analysis 
John Heaps
July 2020

Aquatic Virtual Reality: Feasibility to Application
Raphael Costa
July 2020

The Usability of Interaction Methods in Augmented Reality
Brita Munsinger
May 2020

Tackling Build Failures in Continuous Integration
Foyzul Hassan
April 2020

Understanding User Interface for Intelligent Software Analysis and Exploration
Xue Qin
April 2020

 

Enhance Security in Cloud Computing through Virtual Machine Placement
Jin Han
November 2019

Cybersickness in Persons with Multiple Sclerosis
Imtiaz Muhammad Arafat
August 2019

Containerizing Database Queries
David Holland
August 2019

Securing Software Defined Network Infrastructure in Cloud Data Centers
Sajad Khorsandroo
July 2019

A Framework for Characterizing Cyber Attack Reconnaissance Behaviors
Richard Garcia Lebron
July 2019

Virtual Reality Disability Simulation: A Tool to Reduce Implicit Bias Towards Persons with Disabilities and a Motivation to Create Simulation
Tanvir Irfan Chowdhury
July 2019

Improving Software Reliability Via Record and Replay
Hongyu Liu
May 2019

Detecting and Preventing Common Memory Vulnerabilities in Production Software
Sam Silvestro
May 2019

Information Retrieval and Semantic Inference from Natural Language Privacy Policies
Mitra Bokaei Hosseini
May 2019

Improving Cloud Storage Performance with Adaptive Resource Management
Ridwan Rashid Noel
May 2019

Building QoS-Aware Cloud Services
Joy Rahman
April 2019

 

Online Malware Detection in Cloud Auto-Scaling Systems Using Performance Metrics
Mahmoud Abdelsalam
November 2018

Secure Cloud Assisted Smart Cars and Big Data: Access Control and Implementation
Maanak Gupta
November 2018

Routing Multiple Flows and Collecting Link State Information in SDN
Erdal Akin
October 2018

Attribute-Based Access and Communicaton Control Models for Cloud and Cloud-Enabled Internet of Things
Smriti Bhatt
July 2018

Postural Stability for People with Balance Impairments in Virtual and Augemented Reality
Sharif Shahnewaz Ferdous
June 2018

Performance Prediction of Parallel Applications
Rodrigo Escobar Palacios
May 2018

Study and Prioritization of Dependency-Oriented Test Code for Efficient Regression Testing
Nahid Mostafa
March 2018

Access Control Models for Cloud-Enabled Internet of Things
Asma Alshehri
March 2018

Expressive Power, Safety and Cloud Implementation of Attribute and Relationship Based Access Control Models
Tahmina Ahmed
November 2017

System Call Anomaly Detection in Mutli-Threaded Programs
Marcus Pendleton
November 2017

Performance and Accuracy Analysis of Programs Using Approximation Techniques
Riad Akram
November 2017

Anomaly-Based Debugging of Correctness and Performance Issues in Multithreaded Programs
Mohammad Alam
November 2017

Detecting Memory Model Bugs in Multi-Core and Many-Core Systems
Islam Mohammad Majharul
October 2017

Time Sensitive VM Provisioning for Resource-Constrained Clouds
Rehana Begam
August 2017

Applying Semantic Analysis for the Alignment of Natural Language Privacy Policies with Application Code
Rocky Slavin
August 2017

Approximating Application Performances in Data Centers and Simulated Machines
Mohammad S Islam
August 2017

Novel Algorithms and Metrics for Functional Discoveries from Networked Biological Data
Lu Liu
May 2017

Time Sensitive VM Provisioning for Resource-Constrained Clouds
Prosunjit Biswas
April 2017

A Holistic Approach Using Honey Communities for Cyber Event Detection and Protection in Communities and Large Distributed Organizations
James Rutherford
April 2017

Developing Tools and Algorithms in Digital Geometry
Iffat Chowdhury
July 2016

Understanding of Geometric Visibility in Polygons
Qing Wang
July 2016

Obfuscated Malware Detection and Classification
Moustafa Saleh
April 2016

Video Representation for Fine-Grained Action Recognition
Yang Zhou
April 2016

Authorization Federation in Multi-Tenant Multi-Cloud IaaS
Navid Pustchi
April 2016

Towards Understanding and Improving Gait Rehabilitation in Virtual Environments Using Latency for Mobility Impaired Persons
Gayani Samaraweera
November 2015

Content-Based EEG Data Retrieval and Annotation for Time-Locked and Continuous EEG Data
Kyung Min Su
November 2015

Attribute-Assisted Learning for Web Image Applications
Junjie Cai
September 2015

Machine Learning Approaches toward Genome-Wide CIS-Regulatory Element Discovery and Transcription Factor Binding Sites Modeling
Zhen Gao
August 2015

An Elastic Mixed-Criticality Scheduling Framework for Cyber-Physical Systems
Hang Su
August 2015

Securing Multimedia Communication in Traditional and Emerging Architectures
Ali Tekeoglu
July 2015

Algorithms for Map Construction and Comparison
Mahmuda Ahmed
July 2015

Machine Learning and Graph Theoretical Approaches toward Precise Disease Classification, Prognosis and Treatment
Md. Jamiul Jahid
June 2015

The Relentless Execution Model for Task-Uncoordinated Parallel Computation in Distributed Memory Environments
Lucas Wilson
May 2015

Hyper-Sequence-Graph Mining
Xinran Yu
April 2015

Constraints for Attribute Based Access Control with Application in Cloud IaaS
Khalid Zaman Bijon
April 2015

Task Allocation and Path Planning in Wireless Sensor and Robot Networks
Andrew Wichmann
April 2015

 

Understanding and Improving Motivation for Rehabilitation in Virtual Environments for Mobility Impaired Persons
Rongkai Guo
August 2014

Multi-Tenant Access Control for Cloud Services
Bo Tang
July 2014

Provenance-Based Access Control Models
Dang Nguyen
July 2014

Build and Reconstruction on Transcriptional Regulatory Network and Network-Based Disease Prediction
Chengwei Lei
June 2014

Hierarchical Distributed Loop Self-Scheduling Schemes on Cluster and Cloud Systems
Lijie Zhang
April 2014

Verifiable Delegated Computation on Outsourced Data
Qingji Zheng
April 2014

Attribute Based Access Control Models and Implementation for Cloud Infrastructure as a Service
Xin Jin
April 2014

Detecting and Characterizing Malicious Websites
Li Xu
April 2014

Access Control for Online Social Networks Using Relationship Type Patterns
Yuan Cheng
April 2014

Hierarchical Distributed Loop Self-Scheduling Schemes on Cluster and Cloud Systems
Yiming Han
April 2014

A Statistical Framework for Analyzing Cyber Attacks
Zhenxin Zhan
April 2014

Consensus Reasoning for Intelligent Web Searches
Steven O'Hara
February 2014

 

A Framework for Composing Security-Typed Languages
Andreas Gampe
December 2013

Algorithms and Harness Results for Measuring Similarity Using Fréchet Distance Variants
Jessica Sherette
December 2013

Formally Ensuring the Permissibility of Obligations in Security and Privacy Policies
Omar Chowdhury
December 2013

Mobile Assisted Security Framework for Wireless Sensor Networks
Baris Tas
December 2013

Energy-Efficient Fault Tolerance in Multiprocessor Real-Time Systems
Yifeng Guo
November 2013

Crosscutting Software Artifacts for Access Control
Mark Robinson
May 2013

Energy-Efficient Secure and Anonymous Communication Protocol for Wireless Sensor Networks
Pengjun Pan
May 2013

Improving Performance and Predictability of Storage Arrays
Nihat Altiparmak
April 2013

Robust Image Representation for Classification and Retrieval
Xia Li
April 2013

Image Understanding from Web Media Resource
Jie Xiao
April 2013

Scalable Detection of Community Cyber Incidents Utilizing Distributed and Anonymous Security Information Sharing
Keith Harrison
December 2012

Privacy-Preserving Data Mining through Data Publishing and Knowledge Model Sharing
Hongwei Tian
December 2012

A Formal Framework for Analyzing Sequence Diagram
Hui Shen
December 2012

Botnets Analysis and Detection Methods Based on Network Behavior
Areej Al-Bataineh
November 2012

Privacy Preservation in Social Graphs
Lijie Zhang
April 2012

Intelligent Cache Management Techniques for Reducing Memory System Waste
Samira Khan
March 2012

Practical User Obligation Systems that Affect and Depend on Authorizations
Murillo Pontual
November 2011

Acceleration of Scientific Applications on Reconfigurable Computing Systems
Yi-Gang Tai
July 2011

Data-Driven Transforms for Exploration, Visualization and Classification of High-Dimensional Data
Dragana Veljkovic Perez
December 2010

Protecting Cryptographic Keys and Functions from Malware Attacks
Timothy Parker
December 2010

Parallelism and Error Reduction in a High Performance Environment
Anthony M. Castaldo
December 2010

Scheduling for Energy and Reliability Management on Multiprocessor Real-Time Systems
Xuan Qi
November 2010

Sidekick: Integrating Knowledge and User Belief to Enable Biological Discovery
Mark S. Doderer
August 2010

Obstacle-Avoiding Similarity Metrics and Shortest Path Problems
Atlas F. Cook IV
December 2009

Security Policy Analysis in a Trust Management Environment
Mark G. Reith
August 2009

Defending against Malicious Nodes in Closed Manets through Packet Authentication and a Hybrid Trust Management System
Rehan Akbani
August 2009

A Sublexical Unit Based Hash Model Approach for Spam Detection
Like Zhang
August 2009

Protecting Critical Secrets on Commodity Hardware and Operating Systems
Timothy Paul Parker
April 2009

Statistical Learning for Multimedia Information Retrieval and their Applications
Yijuan Lu
August 2008

New High Performance Computational Strategies for Inverse Problems with Application to Analytical Ultracentrifugation
Emre Brookes
May 2008

An In Silico Approach to Discover Transcriptional Regulatory Elements
Amitava Karmaker
May 2008

Integrated Prevention and Detection of Byzantine Attacks in Mobile Ad hoc Networks
Su (Kevin) Xu
January 2008

Game Theory Based Job Allocation/Load Balancing in Distributed Systems with Applications to Grid Computing
Satish Penmatsa
December 2007

Generalized Discriminant Analysis in Content-Based Image Retrieval
Jie Yu
May 2007

Identification of Putative Functional Elements in Regulation of Gene Expression
Kihoon Yoon
May 2007

Advancing Data Dependence Analysis in Practice
Konstantinos Kyriakopoulos
May 2007

Java Memory Compression
Mayumi Kato
May 2007

The Automatic Generation and Testing of Signal Recognition Algorithms
Kenneth Holladay
May 2007

Financial Time Series Prediction and Evaluation by Genetic Programming with Trigonometric Functions and High-Order Statistics
Roy Schwaerzel
December 2006

 

Techniques to Mitigate Traffic Overload and Protocol Inefficiencies in Moble Ad Hoc Networks
Saman Amendra DeSilva
December 2004

Load Balancing in Distributed Systems: A Game Theoretic Approach
Daniel Grosu
May 2004

Design and Analysis of Adaptive Routing and Transport Protocols in Mobile Ad Hoc Networks
Thomas David Dyer
December 2002

Protocols for Mobile Ad Hoc Networking
Robert Castaneda
August 2000

Cooperative Web Caching: A Viability Study and Design Analysis
Sandra G. Dykes
August 2000