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

On the morphological deviation in additive manufacturing of porous Ti6Al4V scaffold: a design consideration

Additively manufactured Ti scaffolds have been used for bone replacement and orthopaedic applications. In these applications, both morphological and mechanical properties are important for their in vivo performance. Additively manufactured Ti6Al4V triply periodic minimal surface (TPMS) scaffolds with diamond and gyroid structures are known to have high stiffness and high osseointegration properties, respectively. However, morphological deviations between the as-designed and as-built types of these scaffolds have not been studied before. In this study, the morphological and mechanical properties of diamond and gyroid scaffolds at macro and microscales were examined. The results demonstrated that the mean printed strut thickness was greater than the designed target value. For diamond scaffolds, the deviation increased from 7.5 μm (2.5% excess) for vertical struts to 105.4 μm (35.1% excess) for horizontal struts. For the gyroid design, the corresponding deviations were larger, ranging from 12.6 μm (4.2% excess) to 198.6 μm (66.2% excess). The mean printed pore size was less than the designed target value. For diamonds, the deviation of the mean pore size from the designed value increased from 33.1 μm (-3.0% excess) for vertical struts to 92.8 μm (-8.4% excess) for horizontal struts. The corresponding deviation for gyroids was larger, ranging from 23.8 μm (-3.0% excess) to 168.7 μm (-21.1% excess). Compressive Young's modulus of the bulk sample, gyroid and diamond scaffolds was calculated to be 35.8 GPa, 6.81 GPa and 7.59 GPa, respectively, via the global compression method. The corresponding yield strength of the samples was measured to be 1012, 108 and 134 MPa. Average microhardness and Young's modulus from α and β phases of Ti6Al4V from scaffold struts were calculated to be 4.1 GPa and 131 GPa, respectively. The extracted morphology and mechanical properties in this study could help understand the deviation between the as-design and as-built matrices, which could help develop a design compensation strategy before the fabrication of the scaffolds

Meteorological and oceanographic data collected during the ASREX 91 field experiment

The 1991 Acoustic Surface Reverberation Experiment (ASREX 91) took place in November and December off the coast of British Columbia. As part of this experiment, three moorings were deployed to characterize the environmental background. The moorings consisted of a meteorological/oceanographic mooring designed to measure surface meteorology, current and temperature in the upper 120 meters, and nondirectional wave parameters and two wave moorings which were instrumented with pitch-roll buoys to characterize the directional wave spectrum. This report presents results from these three moorings. The conditions seen during the experiment were extremely rough, with wind speeds at 3.4m above the water surface reaching a maximum of 22 m/s and wave heights reaching a maximum of over 10 meters. The air-sea flux of heat was strongly cooling, and the mixed layer deepened over the course of the experiment from approximately 40 to approximately 70 meters. Spectra of the temperature showed a strong semidiurnal tidal signal associated with temperature excursions of several degrees C. The velocity signal showed strong inertial oscilations with amplitudes of 30-50 cm/s. Weaker low-frequency and semidiurnal tidal signals were also seen. The waves were very strong with significant wave heights of 5-6 meters persisting for up to 2 weeks at a time. Waves were generally out of the south or the west.Funding was provided by the Ocean Acoustics Program (Code 324OA) of the Office of Naval Research under contract N00014-91-J-1891

More Discriminants with the Brezing-Weng Method

The Brezing-Weng method is a general framework to generate families of pairing-friendly elliptic curves. Here, we introduce an improvement which can be used to generate more curves with larger discriminants. Apart from the number of curves this yields, it provides an easy way to avoid endomorphism rings with small class number

The Unlock Project: A Python-based framework for practical brain-computer interface communication “app” development

In this paper we present a framework for reducing the development time needed for creating applications for use in non-invasive brain-computer interfaces (BCI). Our framework is primarily focused on facilitating rapid software “app” development akin to current efforts in consumer portable computing (e.g. smart phones and tablets). This is accomplished by handling intermodule communication without direct user or developer implementation, instead relying on a core subsystem for communication of standard, internal data formats. We also provide a library of hardware interfaces for common mobile EEG platforms for immediate use in BCI applications. A use-case example is described in which a user with amyotrophic lateral sclerosis participated in an electroencephalography-based BCI protocol developed using the proposed framework. We show that our software environment is capable of running in real-time with updates occurring 50–60 times per second with limited computational overhead (5 ms system lag) while providing accurate data acquisition and signal analysis

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

Consumption caught in the cash nexus.

During the last thirty years, ‘consumption’ has become a major topic in the study of contemporary culture within anthropology, psychology and sociology. For many authors it has become central to understanding the nature of material culture in the modern world but this paper argues that the concept is, in British writing at least, too concerned with its economic origins in the selling and buying of consumer goods or commodities. It is argued that to understand material culture as determined through the monetary exchange for things - the cash nexus - leads to an inadequate sociological understanding of the social relations with objects. The work of Jean Baudrillard is used both to critique the concept of consumption as it leads to a focus on advertising, choice, money and shopping and to point to a more sociologically adequate approach to material culture that explores objects in a system of models and series, ‘atmosphere’, functionality, biography, interaction and mediation

Levinson's theorem and scattering phase shift contributions to the partition function of interacting gases in two dimensions

We consider scattering state contributions to the partition function of a two-dimensional (2D) plasma in addition to the bound-state sum. A partition function continuity requirement is used to provide a statistical mechanical heuristic proof of Levinson's theorem in two dimensions. We show that a proper account of scattering eliminates singularities in thermodynamic properties of the nonideal 2D gas caused by the emergence of additional bound states as the strength of an attractive potential is increased. The bound-state contribution to the partition function of the 2D gas, with a weak short-range attraction between its particles, is found to vanish logarithmically as the binding energy decreases. A consistent treatment of bound and scattering states in a screened Coulomb potential allowed us to calculate the quantum-mechanical second virial coefficient of the dilute 2D electron-hole plasma and to establish the difference between the nearly ideal electron-hole gas in GaAs and the strongly correlated exciton/free-carrier plasma in wide-gap semiconductors such as ZnSe or GaN.Comment: 10 pages, 3 figures; new version corrects some minor typo

Ionization degree of the electron-hole plasma in semiconductor quantum wells

The degree of ionization of a nondegenerate two-dimensional electron-hole plasma is calculated using the modified law of mass action, which takes into account all bound and unbound states in a screened Coulomb potential. Application of the variable phase method to this potential allows us to treat scattering and bound states on the same footing. Inclusion of the scattering states leads to a strong deviation from the standard law of mass action. A qualitative difference between mid- and wide-gap semiconductors is demonstrated. For wide-gap semiconductors at room temperature, when the bare exciton binding energy is of the order of T, the equilibrium consists of an almost equal mixture of correlated electron-hole pairs and uncorrelated free carriers.Comment: 22 pages, 6 figure

Introduction to COFFE: The Next-Generation HPCMP CREATE-AV CFD Solver

HPCMP CREATE-AV Conservative Field Finite Element (COFFE) is a modular, extensible, robust numerical solver for the Navier-Stokes equations that invokes modularity and extensibility from its first principles. COFFE implores a flexible, class-based hierarchy that provides a modular approach consisting of discretization, physics, parallelization, and linear algebra components. These components are developed with modern software engineering principles to ensure ease of uptake from a user's or developer's perspective. The Streamwise Upwind/Petrov-Galerkin (SU/PG) method is utilized to discretize the compressible Reynolds-Averaged Navier-Stokes (RANS) equations tightly coupled with a variety of turbulence models. The mathematics and the philosophy of the methodology that makes up COFFE are presented