From Physical to Cyber: Escalating Protection for Personalized Auto Insurance

Nowadays, auto insurance companies set personalized insurance rate based on data gathered directly from their customers' cars. In this paper, we show such a personalized insurance mechanism -- wildly adopted by many auto insurance companies -- is vulnerable to exploit. In particular, we demonstrate that an adversary can leverage off-the-shelf hardware to manipulate the data to the device that collects drivers' habits for insurance rate customization and obtain a fraudulent insurance discount. In response to this type of attack, we also propose a defense mechanism that escalates the protection for insurers' data collection. The main idea of this mechanism is to augment the insurer's data collection device with the ability to gather unforgeable data acquired from the physical world, and then leverage these data to identify manipulated data points. Our defense mechanism leveraged a statistical model built on unmanipulated data and is robust to manipulation methods that are not foreseen previously. We have implemented this defense mechanism as a proof-of-concept prototype and tested its effectiveness in the real world. Our evaluation shows that our defense mechanism exhibits a false positive rate of 0.032 and a false negative rate of 0.013.Comment: Appeared in Sensys 201

Author Correction: Early pregnancy ultrasound measurements and prediction of first trimester pregnancy loss: A logistic model (Scientific Reports, (2020), 10, 1, (1545), 10.1038/s41598-020-58114-3)

The original version of this Article contained an error in the spelling of the author Patricia J. Goedecke which was incorrectly given as Patricia J. Goeske. The original Article has been corrected

Thermodynamic and Transport Properties of CeMg2Cu9 under Pressure

We report the transport and thermodynamic properties under hydrostatic pressure in the antiferromagnetic Kondo compound CeMg2Cu9 with a two-dimensional arrangement of Ce atoms. Magnetic specific heat Cmag(T) shows a Schottky-type anomaly around 30 K originating from the crystal electric field (CEF) splitting of the 4f state with the first excited level at \Delta_{1}/kB = 58 K and the second excited level at \Delta_{2}/kB = 136 K from the ground state. Electric resistivity shows a two-peaks structure due to the Kondo effect on each CEF level around T_{1}^{max} = 3 K and T_{2}^{max} = 40 K. These peaks merge around 1.9 GPa with compression. With increasing pressure, Neel temperature TN initially increases and then change to decrease. TN finally disappears at the quantum critical point Pc = 2.4 GPa.Comment: 10 pages, 6 figure

Histological evidence for a supraspinous ligament in sauropod dinosaurs

Supraspinous ossified rods have been reported in the sacra of some derived sauropod dinosaurs. Although different hypotheses have been proposed to explain the origin ofthis structure, histological evidence has never been provided to support or reject any of them. In order to establish its origin, we analyse and characterize the microstructure of thesupraspinous rod of two sauropod dinosaurs from the Upper Cretaceous of Argentina. The supraspinous ossified rod is almost entirely formed by dense Haversian bone. Remains ofprimary bone consist entirely of an avascular tissue composed of two types of fibre-like structures, which are coarse and longitudinally (parallel to the main axis of the element) oriented. These structures are differentiated on the basis of their optical properties under polarized light. Very thin fibrous strands are also observed in some regions. These small fibres are all oriented parallel to one another but perpendicular to the element main axis. Histological features of the primary bone tissue indicate that the sacral supraspinous rod corresponds to an ossified supraspinous ligament. The formation of this structure appears to have been a non-pathological metaplastic ossification, possibly induced by the continuous tensile forces applied to the element.Fil: Cerda, Ignacio Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Norte. Instituto de Investigación en Paleobiología y Geología; Argentina. Universidad Nacional de Río Negro; ArgentinaFil: Casal, Gabriel. Universidad Nacional de la Patagonia; ArgentinaFil: Martínez, Rubén Darío. Universidad Nacional de la Patagonia ; ArgentinaFil: Ibiricu, Lucio Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Nacional Patagónico; Argentin

Secure Code Update for Embedded Devices via Proofs of Secure Erasure

Abstract. Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previously proposed re-mote attestation techniques assisted by specialized secure hardware are effective, they not yet viable for low-cost embedded devices. One no-table alternative is software-based attestation, that is both less costly and more efficient. However, recent results identified weaknesses in some proposed software-based methods, thus showing that security of remote software attestation remains a challenge. Inspired by these developments, this paper explores an approach that relies neither on secure hardware nor on tight timing constraints typi-cal of software-based technqiques. By taking advantage of the bounded memory/storage model of low-cost embedded devices and assuming a small amount of read-only memory (ROM), our approach involves a new primitive – Proofs of Secure Erasure (PoSE-s). We also show that, even though it is effective and provably secure, PoSE-based attestation is not cheap. However, it is particularly well-suited and practical for two other related tasks: secure code update and secure memory/storage erasure. We consider several flavors of PoSE-based protocols and demonstrate their feasibility in the context of existing commodity embedded devices.

Breeding young as a survival strategy during earth’s greatest mass extinction

Studies of the effects of mass extinctions on ancient ecosystems have focused on changes in taxic diversity, morphological disparity, abundance, behaviour and resource availability as key determinants of group survival. Crucially, the contribution of life history traits to survival during terrestrial mass extinctions has not been investigated, despite the critical role of such traits for population viability. We use bone microstructure and body size data to investigate the palaeoecological implications of changes in life history strategies in the therapsid forerunners of mammals before and after the Permo-Triassic Mass Extinction (PTME), the most catastrophic crisis in Phanerozoic history. Our results are consistent with truncated development, shortened life expectancies, elevated mortality rates and higher extinction risks amongst post-extinction species. Various simulations of ecological dynamics indicate that an earlier onset of reproduction leading to shortened generation times could explain the persistence of therapsids in the unpredictable, resource-limited Early Triassic environments, and help explain observed body size distributions of some disaster taxa (e.g., Lystrosaurus). Our study accounts for differential survival in mammal ancestors after the PTME and provides a methodological framework for quantifying survival strategies in other vertebrates during major biotic crises

Growth Dynamics of Australia's Polar Dinosaurs

Analysis of bone microstructure in ornithopod and theropod dinosaurs from Victoria, Australia, documents ontogenetic changes, providing insight into the dinosaurs' successful habitation of Cretaceous Antarctic environments. Woven-fibered bone tissue in the smallest specimens indicates rapid growth rates during early ontogeny. Later ontogeny is marked by parallel-fibered tissue, suggesting reduced growth rates approaching skeletal maturity. Bone microstructure similarities between the ornithopods and theropods, including the presence of LAGs in each group, suggest there is no osteohistologic evidence supporting the hypothesis that polar theropods hibernated seasonally. Results instead suggest high-latitude dinosaurs had growth trajectories similar to their lower-latitude relatives and thus, rapid early ontogenetic growth and the cyclical suspensions of growth inherent in the theropod and ornithopod lineages enabled them to successfully exploit polar regions

Unusual kondo behavior in the indium-rich heavy fermion antiferromagnet Ce3Pt4In13

We report the thermodynamic, magnetic, and electronic transport properties of the new ternary intermetallic system (Ce,La)3Pt4In13. Ce3Pt4In13 orders antiferromagnetically at 0.95 K while the non-magnetic compound La3Pt4In13 is a conventional 3.3 K superconductor. Kondo lattice effects appear to limit the entropy associated with the Neel transition to (1/4)Rln2 as an electronic contribution to the specific heat of gamma = 1 J/mole-Ce K2 is observed at TN; roughly 35% of this gamma survives the ordering transition. Hall effect, thermoelectric power, and ambient-pressure resistivity measurements confirm this interpretation. These results suggest that RKKY and Kondo interactions are closely balanced in this compound (TN = TK). Contrary to expectations based on the Doniach Kondo necklace model, applied hydrostatic pressure modestly enhances the magnetic ordering temperature with dTN/dP = +23 mK/kbar. As such Ce3Pt4In13 provides a counterexample to Kondo systems with similar Kondo and RKKY energy scales wherein applied pressure enhances TK at the expense of the ordered magnetic state.Comment: submitted to Physical Review