Publications
Functionality and security co-design environment for embedded systems
Summary
Summary
For decades, embedded systems, ranging from intelligence, surveillance, and reconnaissance (ISR) sensors to electronic warfare and electronic signal intelligence systems, have been an integral part of U.S. Department of Defense (DoD) mission systems. These embedded systems are increasingly the targets of deliberate and sophisticated attacks. Developers thus need to focus...
A parallel implementation of FANO using OpenMP and MPI
Summary
Summary
We present a parallel implementation of the Fast Accurate NURBS Optimization (FANO) program using OpenMP and MPI. The software is used for designing imaging freeform optical systems comprised of NURBS surfaces. An important step in the design process is the optimization of the shape and position of the optical surfaces...
Simulation approach to sensor placement using Unity3D
Summary
Summary
3D game simulation engines have demonstrated utility in the areas of training, scientific analysis, and knowledge solicitation. This paper will make the case for the use of 3D game simulation engines in the field of sensor placement optimization. Our study used a series of parallel simulations in the Unity3D simulation...
Measuring the impact of Spectre and Meltdown
Summary
Summary
The Spectre and Meltdown flaws in modern microprocessors represent a new class of attacks that have been difficult to mitigate. The mitigations that have been proposed have known performance impacts. The reported magnitude of these impacts varies depending on the industry sector and expected workload characteristics. In this paper, we...
Linear and rotational microhydraulic actuators driven by electrowetting
Summary
Summary
Microhydraulic actuators offer a new way to convert electrical power to mechanical power on a microscale with an unmatched combination of power density and efficiency. Actuators work by combining surface tension force contributions from a large number of droplets distorted by electrowetting electrodes. This paper reports on the behavior of...
Neural network topologies for sparse training
Summary
Summary
The sizes of deep neural networks (DNNs) are rapidly outgrowing the capacity of hardware to store and train them. Research over the past few decades has explored the prospect of sparsifying DNNs before, during, and after training by pruning edges from the underlying topology. The resulting neural network is known...
Don't even ask: database access control through query control
Summary
Summary
This paper presents a vision and description for query control, which is a paradigm for database access control. In this model, individual queries are examined before being executed and are either allowed or denied by a pre-defined policy. Traditional view-based database access control requires the enforcer to view the query...
Human-machine collaborative optimization via apprenticeship scheduling
Summary
Summary
Coordinating agents to complete a set of tasks with intercoupled temporal and resource constraints is computationally challenging, yet human domain experts can solve these difficult scheduling problems using paradigms learned through years of apprenticeship. A process for manually codifying this domain knowledge within a computational framework is necessary to scale...
Valleytronics: opportunities, challenges, and paths forward
Summary
Summary
A lack of inversion symmetry coupled with the presence of time-reversal symmetry endows 2D transition metal dichalcogenides with individually addressable valleys in momentum space at the K and K' points in the first Brillouin zone. This valley addressability opens up the possibility of using the momentum state of electrons, holes...
Fuel production systems for remote areas via an aluminum energy vector
Summary
Summary
Autonomous fuel synthesis in remote locations remains the Holy Grail of fuel delivery logistics. The burdened cost of delivering fuel to remote locations is often significantly more expensive than the purchase price. Here it is shown that newly developed solid aluminum metal fuel is suited for remote production of liquid...