Engineering Commons^™

Identifying Trace Evidence From Target-Specific Data Wiping Application Software, Gregory H. Carlton, Gary C. Kessler

Journal of Digital Forensics, Security and Law

One area of particular concern for computer forensics examiners involves situations in which someone utilized software applications to destroy evidence. There are products available in the marketplace that are relatively inexpensive and advertised as being able to destroy targeted portions of data stored within a computer system. This study was undertaken to analyze a subset of these tools in order to identify trace evidence, if any, left behind on disk media after executing these applications. We evaluated five Windows 7 compatible software products whose advertised features include the ability for users to wipe targeted files, folders, or evidence of selected …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Technology Corner: A Regular Expression Training App, Nick V. Flor

Journal of Digital Forensics, Security and Law

Regular expressions enable digital forensic analysts to find information in files. The best way for an analyst to become proficient in writing regular expressions is to practice. This paper presents the code for an app that allows an analyst to practice writing regular expressions.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Extraction Of Electronic Evidence From Voip: Identification & Analysis Of Digital Speech, David Irwin, Arek Dadej, Jill Slay

Journal of Digital Forensics, Security and Law

The Voice over Internet Protocol (VoIP) is increasing in popularity as a cost effective and efficient means of making telephone calls via the Internet. However, VoIP may also be an attractive method of communication to criminals as their true identity may be hidden and voice and video communications are encrypted as they are deployed across the Internet. This produces a new set of challenges for forensic analysts compared with traditional wire-tapping of the Public Switched Telephone Network (PSTN) infrastructure, which is not applicable to VoIP. Therefore, other methods of recovering electronic evidence from VoIP are required. This research investigates the …

Book Review: Dispute Resolution And E-Discovery, Milton Luoma

Journal of Digital Forensics, Security and Law

As is apparent from its title, this book tackles two very current and difficult legal issues – electronic discovery and dispute resolution. The authors tie the two legal concepts together in an effort to provide litigants and practitioners a less expensive and less time consuming alternative than is typically the case with traditional litigation and court proceedings. By including electronic discovery in the discussions, the authors recognize the importance and significance of electronic discovery in mediation and arbitration as it is in traditional litigation.

On The Development Of A Digital Forensics Curriculum, Manghui Tu, Dianxiang Xu, Samsuddin Wira, Cristian Balan, Kyle Cronin

Journal of Digital Forensics, Security and Law

Computer Crime and computer related incidents continue their prevalence and frequency, resulting in losses approaching billions of dollars. To fight against these crimes and frauds, it is urgent to develop digital forensics education programs to train a suitable workforce that can effectively investigate computer crimes and incidents. There is presently no standard to guide the design of digital forensics curriculum for an academic program. In this research, previous work on digital forensics curriculum design and existing education programs are thoroughly investigated. Both digital forensics educators and practitioners were surveyed and results were analyzed to determine the industry and law enforcement …

The Science Of Digital Forensics: Recovery Of Data From Overwritten Areas Of Magnetic Media, Fred Cohen

Journal of Digital Forensics, Security and Law

The first time I encountered data loss and recovery effects of magnetic memory was as a night and weekend computer operator for the computer science department of Carnegie-Mellon University in the 1973-1974 time frame. Part of my job involved dealing directly with outages and failures associated with magnetic memory components used in what, at the time, were large computer systems. On occasions, portions of magnetic core memory or disk drives would encounter various failure modes and the systems using these devices would have to be reconfigured to operate without the failed components until repair personnel could come in to repair …

Automatic Crash Recovery: Internet Explorer's Black Box, John Moran, Douglas Orr

Journal of Digital Forensics, Security and Law

A good portion of today's investigations include, at least in part, an examination of the user's web history. Although it has lost ground over the past several years, Microsoft's Internet Explorer still accounts for a large portion of the web browser market share. Most users are now aware that Internet Explorer will save browsing history, user names, passwords and form history. Consequently some users seek to eliminate these artifacts, leaving behind less evidence for examiners to discover during investigations. However, most users, and probably a good portion of examiners are unaware Automatic Crash Recovery can leave a gold mine of …

Book Review: The Software Ip Detective's Handbook: Measurement, Comparison, And Infringement Detections, Diane Barrett

Journal of Digital Forensics, Security and Law

Do not the book title fool you into thinking that the book is only for those looking to detect software infringement detection. It is a comprehensive look at software intellectual property. The book covers a wide range of topics and has something to offer for just about everyone from lawyers to programmers.

“Preemptive Suppression” – Judges Claim The Right To Find Digital Evidence Inadmissible Before It Is Even Discovered, Bob Simpson

Journal of Digital Forensics, Security and Law

Vermont state prosecutors have asked the Vermont Supreme Court to end a state trial judge’s practice of attaching conditions to computer warrants. The Vermont judge’s conditions are drawn from five conditions established in the 2009 decision of the 9th Circuit Court of Appeals in the Comprehensive Drug Testing, Inc. case (CDT II). This is the first time the validity of the “CDT conditions” will be decided by a state court of final jurisdiction in the United States

Modeling And Control Of Discrete Event Systems Using Finite State Machines With Variables And Their Applications In Power Grids, Junhui Zhao, Le Yi Wang, Zhong Chen, Feng Lin, Hongwei Zhang

Electrical & Computer Engineering and Computer Science Faculty Publications

Control theories for discrete event systems modeled as finite state machines have been well developed to address various fundamental control issues. However, finite state machine model has long suffered from the problem of state explosion that renders it unsuitable for some practical applications. In an attempt to mitigate the state explosion problem, we propose an efficient representation that appends finite sets of variables to finite state machines in modeling discrete event systems. We also present the control synthesis techniques for such finite state machines with variables (FSMwV). We first present our notion and means of control under this representation. We …

A Memory Access Model For Highly-Threaded Many-Core Architectures, Lin Ma, Kunal Agrawal, Roger D. Chamberlain

All Computer Science and Engineering Research

Many-core architectures are excellent in hiding memory-access latency by low-overhead context switching among a large number of threads. The speedup of algorithms carried out on these machines depends on how well the latency is hidden. If the number of threads were infinite, then theoretically these machines should provide the performance predicted by the PRAM analysis of the programs. However, the number of allowable threads per processor is not infinite. In this paper, we introduce the Threaded Many-core Memory (TMM) model which is meant to capture the important characteristics of these highly-threaded, many-core machines. Since we model some important machine parameters …

Foveon F13 Camera, David Shelley

All Computer Science and Engineering Research

Most high-fidelity digital cameras currently available obtain their images using technology where individual pixels can only acquire a single color. Since the acquisition of multiple colors is necessary to capture a full colored image, picture resolution is lost due to difficulties in interpolation between non-adjacent, same color pixels. The resulting unsharp images create the need to find a new way to obtain these images without requiring interpolation between adjacent pixels. An innovative method to capture images with individual pixel cells consisting of three layers of photodetectors stacked vertically upon one another has been created to rectify this problem, but no …

Early Warning System: Relay Sensor Deployment & Network Reliability Analysis, Zhicheng Yang

All Computer Science and Engineering Research

In this project, we continued Dr. Chipara's study, which developed an early warning system (EWS) to detect the vital signs of patients in order to help doctors to intervene in time [1]. Since the number of wards increased, the environment our system faced with became more complicated and our network became more sensitive. This project focused on finding reasons on the relays that didn't work and doing a reliability analysis on the network in one ward our study covered.

Self‐Regulating Action Exploration In Reinforcement Learning, Teck-Hou Teng, Ah-Hwee Tan, Yuan-Sin Tan

Research Collection School Of Computing and Information Systems

The basic tenet of a learning process is for an agent to learn for only as much and as long as it is necessary. With reinforcement learning, the learning process is divided between exploration and exploitation. Given the complexity of the problem domain and the randomness of the learning process, the exact duration of the reinforcement learning process can never be known with certainty. Using an inaccurate number of training iterations leads either to the non-convergence or the over-training of the learning agent. This work addresses such issues by proposing a technique to self-regulate the exploration rate and training duration …

A New One-Level Convex Optimization Approach For Estimating Origin-Destination Demand, Wei Shen, Laura Wynter

Research Collection School Of Computing and Information Systems

Accurately estimating Origin–Destination (OD) trip tables based on traffic data has become crucial in many real-time traffic applications. The problem of OD estimation is traditionally modeled as a bilevel network design problem (NDP), which is challenging to solve in large-scale networks. In this paper, we propose a new one-level convex optimization formulation to reasonably approximate the bilevel structure, thus allowing the development of more efficient solution algorithms. This one-level approach is consistent with user equilibrium conditions, and improves previous one-level relaxed OD estimation formulations in the literature by ‘equilibrating’ path flows using external path cost parameters. Our new formulation can, …

Enhancing Spectrum Utilization In Dynamic Cognitive Radio Systems, Dusadee Treeumnuk

Electrical & Computer Engineering Theses & Dissertations

Cognitive radio (CR) is regarded as a viable solution to enabling flexible use of the frequency spectrum in future generations of wireless systems by allowing unlicensed secondary users (SU) to access licensed spectrum under the specific condition that no harmful interference be caused to the licensed primary users (PU) of the spectrum. In practical scenarios, the knowledge of PU activity is unknown to CRs and radio environments are mostly imperfect due to various issues such as noise uncertainty and multipath fadings. Therefore, important functionalities of CR systems are to efficiently detect availability of radio spectrum as well as to avoid …

Null Convention Logic Applications Of Asynchronous Design In Nanotechnology And Cryptographic Security, Jun Wu

Doctoral Dissertations

"This dissertation presents two Null Convention Logic (NCL) applications of asynchronous logic circuit design in nanotechnology and cryptographic security. The first application is the Asynchronous Nanowire Reconfigurable Crossbar Architecture (ANRCA); the second one is an asynchronous S-Box design for cryptographic system against Side-Channel Attacks (SCA). The following are the contributions of the first application: 1) Proposed a diode- and resistor-based ANRCA (DR-ANRCA). Three configurable logic block (CLB) structures were designed to efficiently reconfigure a given DR-PGMB as one of the 27 arbitrary NCL threshold gates. A hierarchical architecture was also proposed to implement the higher level logic that requires a …

Real-Time Localization Using Received Signal Strength, Mohammed Rana Basheer

Doctoral Dissertations

"Locating and tracking assets in an indoor environment is a fundamental requirement for several applications which include for instance network enabled manufacturing. However, translating time of flight-based GPS technique for indoor solutions has proven very costly and inaccurate primarily due to the need for high resolution clocks and the non-availability of reliable line of sight condition between the transmitter and receiver. In this dissertation, localization and tracking of wireless devices using radio signal strength (RSS) measurements in an indoor environment is undertaken. This dissertation is presented in the form of five papers.

The first two papers deal with localization and …

A Comparison Of Near-Infrared And Visible Imaging For Surveillance Applications, Kathryn Nicole Rodhouse

Masters Theses

"A computer vision approach is investigated which has low computational complexity and which compares near-infrared and visible image systems. The target application is a surveillance system for pedestrian and vehicular traffic. Near-infrared light has potential benefits including non-visible illumination requirements. Image-processing and intelligent classification algorithms for monitoring pedestrians are implemented in outdoor and indoor environments with frequent traffic. The image set collected consists of persons walking in the presence of foreground as well as background objects at different times during the day. Image sets with nonperson objects, e.g. bicycles and vehicles, are also considered. The complex, cluttered environments are highly …

Continuous Time-Varying Biasing Approach For Spectrally Tunable Infrared Detectors, Woo-Yong Jang, Majeed M. Hayat, Payman Zarkesh-Ha, Sanjay Krishna

Electrical and Computer Engineering Faculty Research and Publications

In a recently demonstrated algorithmic spectral-tuning technique by Jang et al. [Opt. Express 19, 19454-19472, (2011)], the reconstruction of an object’s emissivity at an arbitrarily specified spectral window of interest in the long-wave infrared region was achieved. The technique relied upon forming a weighted superposition of a series of photocurrents from a quantum dots-in-a-well (DWELL) photodetector operated at discrete static biases that were applied serially. Here, the technique is generalized such that a continuously varying biasing voltage is employed over an extended acquisition time, in place using a series of fixed biases over each sub-acquisition time, which totally …

New Perspective On Passively Quenched Single Photon Avalanche Diodes: Effect Of Feedback On Impact Ionization, David A. Ramirez, Majeed M. Hayat, Graham J. Rees, Xudong Jiang, Mark A. Itzler

Electrical and Computer Engineering Faculty Research and Publications

Single-photon avalanche diodes (SPADs) are primary devices in photon counting systems used in quantum cryptography, time resolved spectroscopy and photon counting optical communication. SPADs convert each photo-generated electron hole pair to a measurable current via an avalanche of impact ionizations. In this paper, a stochastically self-regulating avalanche model for passively quenched SPADs is presented. The model predicts, in qualitative agreement with experiments, three important phenomena that traditional models are unable to predict. These are: (1) an oscillatory behavior of the persistent avalanche current; (2) an exponential (memoryless) decay of the probability density function of the stochastic quenching time of the …

A New Ensemble Learning Method For Temporal Pattern Identification, Wenjing Zhang, Xin Feng

Electrical and Computer Engineering Faculty Research and Publications

In this paper we present a method for identification of temporal patterns predictive of significant events in a dynamic data system. A new hybrid model using Reconstructed Phase Space (MRPS) and Hidden Markov Model (HMM) is applied to identify temporal patterns. This method constructs phase space embedding by using individual embedding of each variable sequences. We also employ Hidden Markov Models (HMM) to the multivariate sequence data to categorize multi-dimensional data into three states, e.g. normal, patterns and events. A support vector machine optimization method is used to search an optimal classifier to identify temporal patterns that are predictive of …

A Very Robust Algan/Gan Hemt Technology To High Forward Gate Bias And Current, Bradley D. Christiansen, Eric R. Heller, Ronald A. Coutu Jr., Ramakrishna Vetury, Jeffrey B. Shealy

Electrical and Computer Engineering Faculty Research and Publications

Reports to date of GaN HEMTs subjected to forward gate bias stress include varied extents of degradation. We report an extremely robust GaN HEMT technology that survived—contrary to conventional wisdom—high forward gate bias (+6 V) and current (>1.8 A/mm) for >17.5 hours exhibiting only a slight change in gate diode characteristic, little decrease in maximum drain current, with only a 0.1 V positive threshold voltage shift, and, remarkably, a persisting breakdown voltage exceeding 200 V.

Characterizing Metal-Insulator-Transition (Mit) Phase Change Materials (Pcm) For Rf And Dc Micro-Switching Elements, Brent L. Danner, Ronald A. Coutu Jr.

Electrical and Computer Engineering Faculty Research and Publications

Metal-insulator transition (MIT) phase-change materials (PCM) are material compounds that have the ability to be either conductors or insulators depending on external stimuli. A micromachined test structure for applying external electric fields across MIT wire segments was designed and fabricated. Using this novel test structure, Germanium Telluride (GeTe) and Vanadium Oxide (VOx) were successfully transitioned from a conductor to an insulator. The resistivity of the GeTe wire segments increased three to five orders of magnitude with ∼40 V applied to the parallel plates of the test structure. The VOx wires exhibited an order of magnitude transition in resistivity with ∼20 …

A Mems Photoacoustic Detector Of Terahertz Radiation For Chemical Sensing, Nathan Glauvitz, S. Blazevic, Ronald A. Coutu Jr., Michael Kistler, Ivan R. Medvedev, Douglas T. Petkie

Electrical and Computer Engineering Faculty Research and Publications

A piezoelectric Microelectromechanical system (MEMS) cantilever pressure sensor was designed, modeled, fabricated, and tested for sensing the photoacoustic response of gases to terahertz (THz) radiation. The sensing layers were comprised of three thin films; a lead zirconate titanate (PZT) piezoelectric layer sandwiched between two metal contact layers. The sensor materials were deposited on the silicon device layer of a silicon-on-insulator (SOI) wafer, which formed the physical structure of the cantilever. To release the cantilever, a hole was etched through the backside of the wafer and the buried oxide was removed with hydrofluoric acid. Devices were then tested in a custom …

A Suspended Nanogap Formed By Field-Induced Atomically Sharp Tips, Jun Hyun Han, Kyung Song, Shankar Radhakrishnan, Sang Ho Oh, Chung Hoon Lee

Electrical and Computer Engineering Faculty Research and Publications

A sub-nanometer scale suspended gap (nanogap) defined by electric field-induced atomically sharp metallic tips is presented. A strong local electric field (>109 V=m) across micro/nanomachined tips facing each other causes the metal ion migration in the form of dendrite-like growth at the cathode. The nanogap is fully isolated from the substrate eliminating growth mechanisms that involve substrate interactions. The proposed mechanism of ion transportation is verified using real-time imaging of the metal ion transportation using an in situ biasing in transmission electron microscope (TEM). The configuration of the micro/nanomachined suspended tips allows nanostructure growth of a wide variety of …

A Simulation Analysis Of Photovoltaic Ac Module Integrated Converters In Parallel, Under Controlled Edge Shading Conditions, Lynette O'Callaghan, Mick Mckeever, Brian Norton

Conference Papers

A DC and AC power simulation comparison of: a Photovoltaic (PV) array with a modular, parallel, AC converter configuration; and a series, string configuration with a central AC converter, is presented. The systems are simulated using a comprehensive range of edge shading scenarios and irradiance conditions. Power control and transformation circuitry must be designed for shade and module mismatch tolerance to prevent over-proportional power to shade losses, as average losses from Building Integrated PV (BIPV) systems are approximately 20 to 25%, due to shade, mismatch, differences in orientation and inclination, and temperature effects. 59.4% of the simulations showed gains in …

Distributed Formal Concept Analysis Algorithms Based On An Iterative Mapreduce Framework, Ruairí De Fréin, Biao Xu, Eric Robson, Mícheál Ó Fóghlú

Conference papers

While many existing formal concept analysis algorithms are efficient, they are typically unsuitable for distributed implementation. Taking the MapReduce (MR) framework as our inspiration we introduce a distributed approach for performing formal concept mining. Our method has its novelty in that we use a light-weight MapReduce runtime called Twister which is better suited to iterative algorithms than recent distributed approaches. First, we describe the theoretical foundations underpinning our distributed formal concept analysis approach. Second, we provide a representative exemplar of how a classic centralized algorithm can be implemented in a distributed fashion using our methodology: we modify Ganter’s classic algorithm …