Correlated Product Security from Any One-Way Function

It is well-known that the k-wise product of one-way functions remains one-way, but may no longer be when the k inputs are correlated. At TCC 2009, Rosen and Segev introduced a new notion known as Correlated Product secure functions. These functions have the property that a k-wise product of them remains one-way even under correlated inputs. Rosen and Segev gave a construction of injective trapdoor functions which were correlated product secure from the existence of Lossy Trapdoor Functions (introduced by Peikert and Waters in STOC 2008). The first main result of this work shows the surprising fact that a family of correlated prod-uct secure functions can be constructed from any one-way function. Because correlated product secure functions are trivially one-way, this shows an equivalence between the existence of these two cryptographic primitives. In the second main result of this work, we consider a natural decisional variant of correlated product security. Roughly, a family of functions are Decisional Correlated Product (DCP) secure if f1(x1),..., fk(x1) is indistinguishable from f1(x1),..., fk(xk) when x1,..., xk are chosen uniformly at random

The design of hardware and signal processing for a stepped frequency continuous wave ground penetrating radar

Includes bibliographical references.A Ground Penetrating Radar (GPR) sensor is required to provide information that will allow the user to detect, classify and identify the target. This is an extremely tough requirement, especially when one considers the limited amount of information provided by most GPRs to accomplish this task. One way of increasing this information is to capture the complete scattering matrix of the received radar waveform. The objective of this thesis is to develop a signal processing technique to extract polarimetric feature vectors from Stepped Frequency Continuous Wave (SFGWV) GPR data. This was achieved by first developing an algorithm to extract the parameters from single polarization SFCW GPR data and then extending this algorithm to extract target features from fully polarimetric data. A model is required to enable the extraction of target parameters from raw radar data. A single polarization SFCW GPR model is developed based on the radar geometry and linear approximations to the wavenumber in a lossy medium. Assuming high operating frequencies and/or low conductive losses, the model is shown to be equivalent to the exponential model found in signal processing theory. A number of algorithms exist to extract the required target parameters from the measured data in a least squared sense. In this thesis the Matrix Pencil-of-Function Method is used. Numerical simulations are presented to show the performance of this algorithm for increasing model error. Simulations are also provided to compare the standard Inverse Discrete Fourier Transform (IDFT) with the algorithm presented in this thesis. The processing is applied to two sets of measured radar data using the radar developed in the thesis. The technique was able to locate the position of the scatterers for both sets of data, thus demonstrating the success of the algorithm on practical measurements. The single polarization model is extended to a fully polarimetric SFCW GPR model. The model is shown to relate to the multi-dimensional exponential signal processing model, given certain assumptions about the target scattering damping factor. The multi-snapshot Matrix Pencil-of-Function Method is used to extract the scattering matrix parameters from the raw polarimetric stepped frequency data. Those Huynen target parameters that are independent of the properties of the medium, are extracted from the estimated scattering matrices. Simulations are performed to examine the performance of the algorithm for increasing conductive and dielectric losses. The algorithm is also applied to measured data for a number of targets buried a few centimeters below the ground surface, with promising results. Finally, the thesis describes the design and development of a low cost, compact and low power SFCW GPR system. It addresses both the philosophy as well as the technology that was used to develop a 200 - 1600 MHz and a 1 - 2 GHz system. The system is built around a dual synthesizer heterodyne architecture with a single intermediate frequency stage and a novel coherent demodulator system - with a single reference source. Comparison of the radar system with a commercial impulse system, shows that the results are of a similar quality. Further measurements demonstrate the radar performance for different field test cases, including the mapping of the bottom of an outdoor test site down to 1.6 m

High Fidelity Satellite Navigation Receiver Front-End for Advanced Signal Quality Monitoring and Authentication

Over the last several years, interest in utilizing foreign satellite timing and navigation (satnav) signals to augment GPS has grown. Doing so is not without risks; foreign satnav signals must be vetted and determined to be trustworthy before use in military applications. Advanced signal quality monitoring methods can help to ensure that only authentic and reliable satnav signals are utilized. To effectively monitor and authenticate signals, the front-end must impress as little distortions upon the received signal as possible. The purpose of this study is to design, fabricate, and test the performance of a high-fidelity satnav receiver front-end for advanced monitoring of foreign and domestic space vehicle signals

Fast Pseudorandom Functions Based on Expander Graphs

We present direct constructions of pseudorandom function (PRF) families based on Goldreich\u27s one-way function. Roughly speaking, we assume that non-trivial local mappings $f:\{0,1\}^n\rightarrow \{0,1\}^m$ whose input-output dependencies graph form an expander are hard to invert. We show that this one-wayness assumption yields PRFs with relatively low complexity. This includes weak PRFs which can be computed in linear time of $O(n)$ on a RAM machine with $O(\log n)$ word size, or by a depth-3 circuit with unbounded fan-in AND and OR gates (AC0 circuit), and standard PRFs that can be computed by a quasilinear size circuit or by a constant-depth circuit with unbounded fan-in AND, OR and Majority gates (TC0). Our proofs are based on a new search-to-decision reduction for expander-based functions. This extends a previous reduction of the first author (STOC 2012) which was applicable for the special case of \emph{random} local functions. Additionally, we present a new family of highly efficient hash functions whose output on exponentially many inputs jointly forms (with high probability) a good expander graph. These hash functions are based on the techniques of Miles and Viola (Crypto 2012). Although some of our reductions provide only relatively weak security guarantees, we believe that they yield novel approach for constructing PRFs, and therefore enrich the study of pseudorandomness

The Deep Space Network, Volume 5

Facilities, functions, and projects of Deep Space Networ

Computer-Aided Geometry Modeling

Techniques in computer-aided geometry modeling and their application are addressed. Mathematical modeling, solid geometry models, management of geometric data, development of geometry standards, and interactive and graphic procedures are discussed. The applications include aeronautical and aerospace structures design, fluid flow modeling, and gas turbine design

Technology and ontology in electronic music : Mego 1994-present

The Vienna based record label Mego is known for establishing an uncompromising, radically experimental electronic music in the 1990s. This thesis considers the work of various different artists on the label, examining in particular their approaches to technology. The artists discussed appear to share an approach that I describe as pragmatic or experimental, which I contrast with idealist or rational approaches. In the latter, music appears to be understood within the framework of a simplistic model of communication, where technology is seen as a medium that should be transparent, allowing the music to pass unaffected. In the pragmatic approach however, I claim that technology is not seen not as a medium for the communication of ideas, but rather as a source of ideas. Implications follow for the ontology of the music. In the simplistic model of communication, physical sound can be considered merely a representation of something more abstract: musical form conceived by the composer. But if music is materially constructed and based on experimentation with the technology at hand, then the sound should not be considered a representation; there is no preconceived idea for it to be a representation of. This concept, which I refer to as 'literalism', is explored in a number of musical examples, and I link it to a definition of noise

Real-Time Narrowband and Wideband Beamforming Techniques for Fully-Digital RF Arrays

Elemental digital beamforming offers increased flexibility for multi-function radio frequency (RF) systems supporting radar and communications applications. As fully digital arrays, components, and subsystems are becoming more affordable in the military and commercial industries, analog components such as phase shifters, filters, and mixers have begun to be replaced by digital circuits which presents efficiency challenges in power constrained scenarios. Furthermore, multi-function radar and communications systems are exploiting the multiple simultaneous beam capability provided by digital at every element beamforming. Along with further increasing data samples rates and increasing instantaneous bandwidths (IBW), real time processing in the digital domain has become a challenge due to the amount of data produced and processed in current systems. These arrays generate hundreds of gigabits per second of data throughput or more which is costly to send off-chip to an adjunct processor fundamentally limiting the overall performance of an RF array system. In this dissertation, digital filtering techniques and architectures are described which calibrate and beamform both narrowband and wideband RF arrays on receive. The techniques are shown to optimize one or many parameters of the digital transceiver system to improve the overall system efficiency. Digitally beamforming in the beamspace is shown to further increase the processing efficiency of an adaptive system compared to state of the art frequency domain approaches by minimizing major processing bottlenecks of generating adaptive filter coefficients. The techniques discussed are compared and contrasted across different hardware processor modules including field-programmable gate arrays (FPGAs), graphical processing units (GPUs), and central processing units (CPUs)