Computer Sciences Commons^™

Automated Computer Network Exploitation With Bayesian Decision Networks, Graeme Roberts, Gilbert L. Peterson

Faculty Publications

Penetration Testing (pentesting) is the process of using tactics and techniques to penetrate computer systems and networks to expose any issues in their cybersecurity \cite{rsa}. It is currently a manual process requiring significant experience and time that are in limited supply. One way to supplement the shortage is through automation. This paper presents the Automated Network Discovery and Exploitation System (ANDES) which demonstrates that it is feasible to automate the pentesting process. The uniqueness of ANDES is the use of Bayesian decision networks to represent the pentesting domain and subject matter expert knowledge. ANDES conducts multiple execution cycles, which build …

Evolution Of Combined Arms Tactics In Heterogeneous Multi-Agent Teams, Robert J. Wilson, David W. King, Gilbert L. Peterson

Faculty Publications

Multi-agent systems research is concerned with the emergence of system-level behaviors from relatively simple agent interactions. Multi-agent systems research to date is primarily concerned with systems of homogeneous agents, with member agents both physically and behaviorally identical. Systems of heterogeneous agents with differing physical or behavioral characteristics may be able to accomplish tasks more efficiently than homogeneous teams, via cooperation between mutually complementary agent types. In this article, we compare the performance of homogeneous and heterogeneous teams in combined arms situations. Combined arms theory proposes that the application of heterogeneous forces, en masse, can generate effects far greater than outcomes …

Extending Tensor Virtual Machine To Support Deep-Learning Accelerators With Convolution Cores, Yanzhao Wang, Fei Xie

Computer Science Faculty Publications and Presentations

Deep-learning accelerators are increasingly popular. There are two prevalent accelerator architectures: one based on general matrix multiplication units and the other on convolution cores. However, Tensor Virtual Machine (TVM), a widely used deep-learning compiler stack, does not support the latter. This paper proposes a general framework for extending TVM to support deep-learning accelerators with convolution cores. We have applied it to two well-known accelerators: Nvidia's NVDLA and Bitmain's BM1880 successfully. Deep-learning workloads can now be readily deployed to these accelerators through TVM and executed efficiently. This framework can extend TVM to other accelerators with minimum effort.

Abstract Argumentation And Answer Set Programming: Two Faces Of Nelson’S Logic, Jorge Fandinno, Luis Fariñas Del Cerro

Computer Science Faculty Publications

In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson’s constructive logic N4. We do so by formalising, in this logic, two principles that we call noncontradictory inference and strengthened closed world assumption: the first states that no belief can be held based on contradictory evidence while the latter forces both unknown and contradictory evidence to be regarded as false. Using these principles, both logic programming and abstract argumentation frameworks are translated into constructive logic in a modular way and using the object language. Logic programming implication and abstract argumentation …

Protecting Systems From Exploits Using Language-Theoretic Security, Prashant Anantharaman

Dartmouth College Ph.D Dissertations

Any computer program processing input from the user or network must validate the input. Input-handling vulnerabilities occur in programs when the software component responsible for filtering malicious input---the parser---does not perform validation adequately. Consequently, parsers are among the most targeted components since they defend the rest of the program from malicious input. This thesis adopts the Language-Theoretic Security (LangSec) principle to understand what tools and research are needed to prevent exploits that target parsers. LangSec proposes specifying the syntactic structure of the input format as a formal grammar. We then build a recognizer for this formal grammar to validate any …

Establishing Trust In Vehicle-To-Vehicle Coordination: A Sensor Fusion Approach, Jakob Veselsky, Jack West, Isaac Ahlgren, George K. Thiruvathukal, Neil Klingensmith, Abhinav Goel, Wenxin Jiang, James C. Davis, Kyuin Lee, Younghyun Kim

Computer Science: Faculty Publications and Other Works

Autonomous vehicles (AVs) use diverse sensors to understand their surroundings as they continually make safety- critical decisions. However, establishing trust with other AVs is a key prerequisite because safety-critical decisions cannot be made based on data shared from untrusted sources. Existing protocols require an infrastructure network connection and a third-party root of trust to establish a secure channel, which are not always available.

In this paper, we propose a sensor-fusion approach for mobile trust establishment, which combines GPS and visual data. The combined data forms evidence that one vehicle is nearby another, which is a strong indication that it is …

Markerless Tumor Tracking Using Kalman Filter And Deep Learning, Anisha Kapoor, Mark Albert

Computer Science Research Seminars and Symposia

According to the Center for Disease Control, more people die from lung cancer than any other cancer in the United States. A complication that arises from lung cancer treatment, radiation therapy, is radiation pneumonitis. Radiation pneumonitis can be fatal and affects over 23% of patients.

Clime: Command Line Metrics For Git Projects, Nicholas Synovic

Computer Science Research Seminars and Symposia

Numerous efforts in repository mining have focused
on mining repositories and reporting basic metrics. Many efforts
are focused on being able to evaluate (or score) projects based
on these metrics. Yet little attention has been given to in-
process metrics, which are a critical tool for improving software
quality as agile projects become more established projects and
require regular maintenance. We present CLIME (Command Line
Metrics), a user-installable toolset for computing a wide variety
of classical and modern process metrics, including code size,
issue spoilage, issue/defect density, productivity, and bus factor.
CLIME also includes a tool to identify projects based …

Performance Comparison Between Relational And Non-Relational Databases In Tcms, Ahmad Yousef Imam

Honors Capstone Projects and Theses

No abstract provided.

Hhl Algorithm On The Honeywell H1 Quantum Computer, Adrik B. Herbert, Eric A. F. Reinhardt

Discovery Undergraduate Interdisciplinary Research Internship

The quantum algorithm for linear systems of equations (HHL algorithm) provides an efficient tool for finding solutions to systems of functions with a large number of variables and low sensitivity to changes in inputs (i.e. low error rates). For complex problems, such as matrix inversion, HHL requires exponentially less computational time as compared with classical computation methods. HHL can be adapted to current quantum computing systems with limited numbers of qubits (quantum computation bits) but a high reusability rate such as the Honeywell H1 quantum computer. Some methods for improving HHL have been proposed through the combination of quantum and …

Automated Filament Inking For Multi-Color Fff 3d Printing, Eammon Littler

Dartmouth College Master’s Theses

We propose a novel system for low-cost multi-color Fused Filament Fabrication (FFF) 3D printing, allowing for the creation of customizable colored filament using a pre-processing approach. We developed an open-source device to automatically ink filament using permanent markers. Our device can be built using 3D printed parts and off-the-shelf electronics. An accompanying web-based interface allows users to view GCODE toolpaths for a multi-color print and quickly generate filament color profiles. Taking a pre-processing approach makes this system compatible with the majority of desktop 3D printers on the market, as the processed filament behaves no differently from conventional filaments. Furthermore, inked …

A Self-Regulating System For Assessing Scientific Predictive Power, Ted C. Rogers

Physics Faculty Publications

I propose a method for tracking and assessing scientific progress using a prediction consensus algorithm designed for the purpose. The protocol obviates the need for centralized referees to generate scientific questions, gather predictions, and assess the accuracy or success of those predictions. It relies instead on crowd wisdom and a system of checks and balances for all tasks. It is intended to take the form of a web-based, searchable database. I describe a prototype implementation that I call Ex Quaerum. The main purpose of the present document is to motivate the project, to explain it's underlying philosophy, to explain the …

Exploration Of Chemical Space With Partial Labeled Noisy Student Self‑Training And Self‑Supervised Graph Embedding, Yang Liu, Hansaim Lim, Lei Xie

Publications and Research

Background Drug discovery is time-consuming and costly. Machine learning, especially deep learning, shows great potential in quantitative structure–activity relationship (QSAR) modeling to accelerate drug discovery process and reduce its cost. A big challenge in developing robust and generalizable deep learning models for QSAR is the lack of a large amount of data with high-quality and balanced labels. To address this challenge, we developed a self-training method, Partially LAbeled Noisy Student (PLANS), and a novel self-supervised graph embedding, Graph-Isomorphism-Network Fingerprint (GINFP), for chemical compounds representations with substructure information using unlabeled data. The representations can be used for predicting chemical properties such …

Airline Mile Finder Web Extension Development, Shane Panchot

Computer Science Research Seminars and Symposia

In the demonstration, I will go through the development of a Firefox extension I came up with for my project in the Algorithms and Complexity course this semester. The demonstration provides an overview of the Web Extension API. It also covers the use of data structures and algorithms implemented in the project.

Optimization Of Orbital Trajectories Using Neuroevolution Of Augmenting Topologies, Nathan Wetherell

University Scholar Projects

This project aims to determine the feasibility of using NeuroEvolution of Augmenting Topologies (NEAT), an advanced neural network evolution scheme, to optimize orbital transfer trajectories. More specifically, this project compares a genetically evolved neural network to a standard Hohmann transfer between Earth and Mars. To test these two methods, an N-body simulation environment was created to accurately determine the result of gravitational interactions on a theoretical spacecraft when combined with planned engine burns. Once created, this simulation environment was used to train the neural networks created using the NEAT Python module. A genetic algorithm was used to modify the topology …

From Historically First "Unary" Numbers, Through Egyptian Fractions, Roman Numerals, Leibniz's Binary Numbers And Kepler's Fractions To Modern Ideas Such As Calkin-Wilf Tree: A Unified Approach To Representing Natural Numbers And Fractions, Olga Kosheleva, Vladik Kreinovich, Christian Servin

Departmental Technical Reports (CS)

In elementary mathematics classes, students are often overwhelmed by different representations of numbers and corresponding operations: usual fractions, decimal representations, binary numbers, etc. What often helps is when students learn the history of these representations, see the limitations of seemingly reasonable representations like Roman numerals, and how other representations overcame these limitations. Still, history was developed somewhat randomly, so the historical sequence is still somewhat chaotic. We believe that providing a unified approach for all these representations would help describe their sequence in a more logical way and thus, help the students even more.

In our analysis, we explore the …

Computational Approaches To Facilitate Automated Interchange Between Music And Art, Rao Hamza Ali

Computational and Data Sciences (PhD) Dissertations

Recently, there has been a tremendous increase in generating and synthesizing music and art using various computational techniques. An area that is still under-researched, however, is how one medium can be converted into the other, while maintaining the overall aesthetics. Over the last few centuries, artists, composers, and scholars, have attempted to use substitute one form of art for the other: by proposing techniques where music notes are synonymous to colors, by inventing instruments that combine the aesthetics of music and visual art, and by incorporating the two media in live performances. A widely accepted computational approach, for the conversion, …

An Evaluation Of Security In Blockchain-Based Sharing Of Student Records In Higher Education, Timothy Arndt, Angela Guercio, Yonghun Chae

Information Systems

Blockchain has recently taken off as a disruptive technology, from its initial use in cryptocurrencies to wider applications in areas such as property registration and insurance due to its characteristic as a distributed ledger which can remove the need for a trusted third party to facilitate transactions. This spread of the technology to new application areas has been driven by the development of smart contracts – blockchain-based protocols which can automatically enforce a contract by executing code based on the logic expressed in the contract. One exciting area for blockchain is higher education. Students in higher education are ever more …

Teaching Assembly Programming Through Video Games, Kaden Ven Gryphon

Honors Capstone Projects and Theses

No abstract provided.

Gauging The State-Of-The-Art For Foresight Weight Pruning On Neural Networks, Noah James

Computer Science and Computer Engineering Undergraduate Honors Theses

The state-of-the-art for pruning neural networks is ambiguous due to poor experimental practices in the field. Newly developed approaches rarely compare to each other, and when they do, their comparisons are lackluster or contain errors. In the interest of stabilizing the field of pruning, this paper initiates a dive into reproducing prominent pruning algorithms across several architectures and datasets. As a first step towards this goal, this paper shows results for foresight weight pruning across 6 baseline pruning strategies, 5 modern pruning strategies, random pruning, and one legacy method (Optimal Brain Damage). All strategies are evaluated on 3 different architectures …

Fair Bankruptcy Solutions Under Interval Uncertainty, Uyen Pham, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

If the overall amount of the company's assets is smaller than its total debts, then a fair solution is to give, to each creditor, the amount proportional to the corresponding debt, e.g., 10 center for each dollar or 50 cents for each dollar. But what if the debt amounts are not known exactly, and for some creditors, we only know the lower and upper bounds on the actual debt amount? What division will be fair in such a situation? In this paper, we show that the only fair solution is to make payments proportional to an appropriate convex combination of …

How Probable Is A Revolution? A Natural Relu-Like Formula That Fits The Historical Data, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In his recent book "Principles for Dealing with the Changing World Order", Ray Dalio considered many historical crisis situations, and came up with several data points showing how the probability of a revolution or a civil war depends on the number of economic red flags. In this paper, we provide a simple empirical formula that is consistent with these data points.

Shape Of An Egg: Towards A Natural Simple Universal Formula, Sofia Holguin, Vladik Kreinovich

Departmental Technical Reports (CS)

Eggs of different bird species have different shapes. There exists formulas for describing the usual egg shapes -- e.g., the shapes of chicken eggs. However, some egg shapes are more complex. A recent paper proposed a general formula for describing all possible egg shapes; however this formula is purely empirical, it does not have any theoretical foundations. In this paper, we use the theoretical analysis of the problem to provide an alternative -- theoretically justified -- general formula. Interestingly, the new general formula is easier to compute than the previously proposed one.

Freedom Of Will, Non-Uniqueness Of Cauchy Problem, Fractal Processes, Renormalization, Phase Transitions, And Stealth Aircraft, Miroslav Svitek, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

We all know that we can make different decisions, decisions that change -- at least locally -- the state of the world. This is what is known as freedom of will. On the other hand, according to physics, the future state of the world is uniquely pre-determined by its current state, so there is no room for freedom of will. How can we resolve this contradiction? In this paper, we analyze this problem, and we show that many physical phenomena can help resolve this contradiction: fractal character of equations, renormalization, phase transitions, etc. Usually, these phenomena are viewed as somewhat …

How To Estimate The Present Serviceability Rating Of A Road Segment: Explanation Of An Empirical Formula, Edgar Daniel Rodriguez Velasquez, Vladik Kreinovich

Departmental Technical Reports (CS)

An accurate estimation of the road quality requires a lot of expertise, and there is not enough experts to provide such estimates for all the road segments. It is therefore desirable to estimate this quality based on easy-to-estimate and easy-to-measure characteristics. Recently, an empirical formula was proposed for such an estimate. In this paper, we provide a theoretical explanation for this empirical formula.

Education In The Era Of Google, Wikipedia, And Deep Learning: Are We Humans Still Needed And If Yes For What?, Miroslav Svitek, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the main purposes of education is to teach skills needed in future life and future jobs. What is important and what is useful changes with time. Before the industrial revolution, routine mechanical work was an important part of human activity – now machines can do it (and do it better). Before printing, copying was an important activity – now copy machines do it. Before computers, humans were needed for computing – now computer do it better. With Wikipedia and Google, there is not much need for scholars being erudite. Even extracting dependencies from data – one of the …

Economy-Related Emotional Attitudes Towards Other People: How Can We Explain Them?, Christopher Reyes, Vladik Kreinovich, Chon Van Le

Departmental Technical Reports (CS)

Research has shown that to properly understand people's economic behavior, it is important to take into account their emotional attitudes towards each other. Behavioral economics shows that different attitudes results in different economy-related behavior. A natural question is: where do these emotional attitudes come from? We show that, in principle, such emotions can be explained by people's objective functions. Specifically, we show it on the example of a person whose main objective is to increase his/her country's GDP: in this case, the corresponding optimization problem leads exactly to natural emotions towards people who contribute a lot or a little towards …

A Versatile Python Package For Simulating Dna Nanostructures With Oxdna, Kira Threlfall

Computer Science and Computer Engineering Undergraduate Honors Theses

The ability to synthesize custom DNA molecules has led to the feasibility of DNA nanotechnology. Synthesis is time-consuming and expensive, so simulations of proposed DNA designs are necessary. Open-source simulators, such as oxDNA, are available but often difficult to configure and interface with. Packages such as oxdna-tile-binding pro- vide an interface for oxDNA which allows for the ability to create scripts that automate the configuration process. This project works to improve the scripts in oxdna-tile-binding to improve integration with job scheduling systems commonly used in high-performance computing environments, improve ease-of-use and consistency within the scripts compos- ing oxdna-tile-binding, and move …

An Investigation Into, And The Construction Of, An Operable Windows Notifier, Grey Hixson

Computer Science and Computer Engineering Undergraduate Honors Theses

The Office of Sustainability at the University of Arkansas identified that building occupants that have control over operable windows may open them at inappropriate times. Windows opened in a building with a temperature and air differential leads to increased HVAC operating costs and building occupant discomfort. This led the Associate Vice Chancellor of Facilities at the University of Arkansas to propose the construction of a mobile application that a building occupant can use to make an informed decision before opening their window. I have formulated a series of research objectives in conjunction with the Director of the Office of Sustainability …

Demonstration Of Cyberattacks And Mitigation Of Vulnerabilities In A Webserver Interface For A Cybersecure Power Router, Benjamin Allen

Computer Science and Computer Engineering Undergraduate Honors Theses

Cyberattacks are a threat to critical infrastructure, which must be secured against them to ensure continued operation. A defense-in-depth approach is necessary to secure all layers of a smart-grid system and contain the impact of any exploited vulnerabilities. In this undergraduate thesis a webserver interface for smart-grid devices communicating over Modbus TCP was developed and exposed to SQL Injection attacks and Cross-Site Scripting attacks. Analysis was performed on Supply-Chain attacks and a mitigation developed for attacks stemming from compromised Content Delivery Networks. All attempted attacks were unable to exploit vulnerabilities in the webserver due to its use of input sanitization …