Discrete Logarithms in Generalized Jacobians

D\'ech\`ene has proposed generalized Jacobians as a source of groups for public-key cryptosystems based on the hardness of the Discrete Logarithm Problem (DLP). Her specific proposal gives rise to a group isomorphic to the semidirect product of an elliptic curve and a multiplicative group of a finite field. We explain why her proposal has no advantages over simply taking the direct product of groups. We then argue that generalized Jacobians offer poorer security and efficiency than standard Jacobians

Miniature mobile sensor platforms for condition monitoring of structures

In this paper, a wireless, multisensor inspection system for nondestructive evaluation (NDE) of materials is described. The sensor configuration enables two inspection modes-magnetic (flux leakage and eddy current) and noncontact ultrasound. Each is designed to function in a complementary manner, maximizing the potential for detection of both surface and internal defects. Particular emphasis is placed on the generic architecture of a novel, intelligent sensor platform, and its positioning on the structure under test. The sensor units are capable of wireless communication with a remote host computer, which controls manipulation and data interpretation. Results are presented in the form of automatic scans with different NDE sensors in a series of experiments on thin plate structures. To highlight the advantage of utilizing multiple inspection modalities, data fusion approaches are employed to combine data collected by complementary sensor systems. Fusion of data is shown to demonstrate the potential for improved inspection reliability

Simulation of ultrasonic lamb wave generation, propagation and detection for an air coupled robotic scanner

A computer simulator, to facilitate the design and assessment of a reconfigurable, air-coupled ultrasonic scanner is described and evaluated. The specific scanning system comprises a team of remote sensing agents, in the form of miniature robotic platforms that can reposition non-contact Lamb wave transducers over a plate type of structure, for the purpose of non-destructive evaluation (NDE). The overall objective is to implement reconfigurable array scanning, where transmission and reception are facilitated by different sensing agents which can be organised in a variety of pulse-echo and pitch-catch configurations, with guided waves used to generate data in the form of 2-D and 3-D images. The ability to reconfigure the scanner adaptively requires an understanding of the ultrasonic wave generation, its propagation and interaction with potential defects and boundaries. Transducer behaviour has been simulated using a linear systems approximation, with wave propagation in the structure modelled using the local interaction simulation approach (LISA). Integration of the linear systems and LISA approaches are validated for use in Lamb wave scanning by comparison with both analytic techniques and more computationally intensive commercial finite element/difference codes. Starting with fundamental dispersion data, the paper goes on to describe the simulation of wave propagation and the subsequent interaction with artificial defects and plate boundaries, before presenting a theoretical image obtained from a team of sensing agents based on the current generation of sensors and instrumentation

A noncontact ultrasonic platform for structural inspection

Miniature robotic vehicles are receiving increasing attention for use in nondestructive testing (NDE) due to their attractiveness in terms of cost, safety, and their accessibility to areas where manual inspection is not practical. Conventional ultrasonic inspection requires the provision of a suitable coupling liquid between the probe and the structure under test. This necessitates either an on board reservoir or umbilical providing a constant flow of coupling fluid, neither of which are practical for a fleet of miniature robotic inspection vehicles. Air-coupled ultrasound offers the possibility of couplant-free ultrasonic inspection. This paper describes the sensing methodology, hardware platform and algorithms used to integrate an air-coupled ultrasonic inspection payload into a miniature robotic vehicle platform. The work takes account of the robot's inherent positional uncertainty when constructing an image of the test specimen from aggregated sensor measurements. This paper concludes with the results of an automatic inspection of a aluminium sample

Efficient algorithms for pairing-based cryptosystems

We describe fast new algorithms to implement recent cryptosystems based on the Tate pairing. In particular, our techniques improve pairing evaluation speed by a factor of about 55 compared to previously known methods in characteristic 3, and attain performance comparable to that of RSA in larger characteristics.We also propose faster algorithms for scalar multiplication in characteristic 3 and square root extraction over Fpm, the latter technique being also useful in contexts other than that of pairing-based cryptography

An Economic Study of the Effect of Android Platform Fragmentation on Security Updates

Vendors in the Android ecosystem typically customize their devices by modifying Android Open Source Project (AOSP) code, adding in-house developed proprietary software, and pre-installing third-party applications. However, research has documented how various security problems are associated with this customization process. We develop a model of the Android ecosystem utilizing the concepts of game theory and product differentiation to capture the competition involving two vendors customizing the AOSP platform. We show how the vendors are incentivized to differentiate their products from AOSP and from each other, and how prices are shaped through this differentiation process. We also consider two types of consumers: security-conscious consumers who understand and care about security, and na\"ive consumers who lack the ability to correctly evaluate security properties of vendor-supplied Android products or simply ignore security. It is evident that vendors shirk on security investments in the latter case. Regulators such as the U.S. Federal Trade Commission have sanctioned Android vendors for underinvestment in security, but the exact effects of these sanctions are difficult to disentangle with empirical data. Here, we model the impact of a regulator-imposed fine that incentivizes vendors to match a minimum security standard. Interestingly, we show how product prices will decrease for the same cost of customization in the presence of a fine, or a higher level of regulator-imposed minimum security.Comment: 22nd International Conference on Financial Cryptography and Data Security (FC 2018

A Device to Measure Magnetic and Mechanical Axis of Superconducting Magnets for the Large Hadron Collider at CERN

The LHC will be composed of 1232 horizontally curved, 15 meter long, cryodipoles and 474 Short Straight Sections, being assembled by different manufacturers. Magnetic axis alignment is an essential part of the magnets quality for two reasons: first, to be able to install correctly the magnets in the tunnel w.r.t. the reference beam orbit; secondly, to assess the relative alignment between the magnets composing the assembly, i.e. spool pieces for the dipoles and larger correctors for the SSS. A system called AC mole is being used extensively to measure magnetic and geometric axis, as well as roll angle, for every single magnet composing all the SSS. This paper describes its performance, its first years of operation, as well as the improvements that have made it very powerful, versatile and easy to use

Ultrafast pump-probe dynamics in ZnSe-based semiconductor quantum-wells

Pump-probe experiments are used as a controllable way to investigate the properties of photoexcited semiconductors, in particular, the absorption saturation. We present an experiment-theory comparison for ZnSe quantum wells, investigating the energy renormalization and bleaching of the excitonic resonances. Experiments were performed with spin-selective excitation and above-bandgap pumping. The model, based on the semiconductor Bloch equations in the screened Hartree-Fock approximation, takes various scattering processes into account phenomenologically. Comparing numerical results with available experimental data, we explain the experimental results and find that the electron spin-flip occurs on a time scale of 30 ps.Comment: 10 pages, 9 figures. Key words: nonlinear and ultrafast optics, modeling of femtosecond pump-probe experiments, electron spin-flip tim

Measurements of shoaling internal waves and turbulence in an estuary

Author Posting. © American Geophysical Union, 2013. This article is posted here by permission of American Geophysical Union for personal use, not for redistribution. The definitive version was published in Journal of Geophysical Research 118 (2013): 273–286, doi:10.1029/2012JC008154.The shoaling of horizontally propagating internal waves may represent an important source of mixing and transport in estuaries and coastal seas. Including such effects in numerical models demands improvements in the understanding of several aspects of the energetics, especially those relating to turbulence generation, and observations are needed to build this understanding. To address some of these issues in the estuarine context, we undertook an intensive field program for 10 days in the summer of 2008 in the St. Lawrence Estuary. The sampling involved shore-based photogrammetry, ship-based surveys, and an array of moorings in the shoaling region that held both conventional and turbulence-resolving sensors. The measurements shed light on many aspects of the wave shoaling process. Wave arrivals were generally phase-locked with the M2 tide, providing hints about far-field forcing. In the deeper part of the study domain, the waves propagated according to the predictions of linear theory. In intermediate-depth waters, the waves traversed the field site perpendicularly to isobaths, a pattern that continued as the waves transformed nonlinearly. Acoustic Doppler velocimeters permitted inference of the turbulent energetics, and two main features were studied. First, during a period of shoaling internal waves, turbulence dissipation rates exceeded values associated with tidal shear by an order of magnitude. Second, the evolving spectral signatures associated with a particular wave-shoaling event suggest that the turbulence is at least partly locally generated. Overall, the results of this study suggest that parameterizations of wave-induced mixing could employ relatively simple dynamics in deep water, but may have to handle a wide suite of turbulence generation and transport mechanisms in inshore regions.The work was supported by the Killam Foundation, the Natural Sciences and Engineering Research Council of Canada, the Canadian Foundation for Innovation, the Canadian Foundation for Climate and Atmospheric Sciences, and the Canadian Department of Fisheries and Oceans.2013-07-3