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

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.

First dinosaur from the Isle of Eigg (Valtos Sandstone Formation, Middle Jurassic) Scotland

Dinosaur body fossil material is rare in Scotland, previously known almost exclusively from the Great Estuarine Group on the Isle of Skye. We report the first unequivocal dinosaur fossil from the Isle of Eigg, belonging to a Bathonian (Middle Jurassic) taxon of uncertain affinity. The limb bone NMS G.2020.10.1 is incomplete, but through a combination of anatomical comparison and osteohistology, we determine it most likely represents a stegosaur fibula. The overall proportions and cross-sectional geometry are similar to the fibulae of thyreophorans. Examination of the bone microstructure reveals a high degree of remodelling and randomly distributed longitudinal canals in the remaining primary cortical bone. This contrasts with the histological signal expected of theropod or sauropod limb bones, but is consistent with previous studies of thyreophorans, specifically stegosaurs. Previous dinosaur material from Skye and broadly contemporaneous sites in England belongs to this group, including <jats:italic>Loricatosaurus</jats:italic> and <jats:italic>Sarcolestes</jats:italic> and a number of indeterminate stegosaur specimens. Theropods such as <jats:italic>Megalosaurus</jats:italic> and sauropods such as <jats:italic>Cetiosaurus</jats:italic> are also known from these localities. Although we find strong evidence for a stegosaur affinity, diagnostic features are not observed on NMS G.2020.10.1, preventing us from referring it to any known genera. The presence of this large-bodied stegosaur on Eigg adds a significant new datapoint for dinosaur distribution in the Middle Jurassic of Scotland

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

A new specimen of the ornithischian dinosaur Hesperosaurus mjosi from the Upper Jurassic Morrison Formation of Montana, U.S.A., and implications for growth and size in Morrison stegosaurs

Stegosauria is a clade of ornithischian dinosaurs characterized by a bizarre array of dermal armor that extends from the neck to the end of the tail. Two genera of stegosaur are currently recognised from North America: the well-known Stegosaurus stenops and the much rarer Hesperosaurus mjosi. A new specimen of Hesperosaurus mjosi was discovered in some of the most northerly outcrops of the Upper Jurassic Morrison Formation near Livingston, Montana. The new specimen includes cranial, vertebral, and appendicular material as well as a dermal plate, and the excellent state of preservation of the palate reveals new anatomical information about this region in stegosaurs. Histological examination of the tibia indicates that the individual was not skeletally mature at time of death. Comparison with previously studied Stegosaurus and Hesperosaurus individuals indicates that Hesperosaurus mjosi may have been a smaller species than Stegosaurus stenops. Physiological processes scale with body mass, M, according to the relationship M0.75 in extant megaherbivores; thus, larger animals are better able to cope with more arid environments where forage is less abundant. Under this scenario, it is possible that Stegosaurus stenops and Hesperosaurus mjosi were environmentally partitioned, with the larger S. stenops occupying more arid environments. Analyses of the temporal overlap and latitudinal range of Morrison stegosaurs would allow this hypothesis to be investigated.The attached document is the authors’ final accepted version of the journal article. You are advised to consult the publisher’s version if you wish to cite from it

‘Nedoceratops’: An Example of a Transitional Morphology

Background: The holotype and only specimen of the chasmosaurine ceratopsid dinosaur ‘Nedoceratops hatcheri ’ has been the source of considerable taxonomic debate since its initial description. At times it has been referred to its own genus while at others it has been considered synonymous with the contemporaneous chasmosaurine Triceratops. Most recently, the debate has focused on whether the specimen represents an intermediate ontogenetic stage between typical young adult Triceratops and the proposed mature morphology, which was previously considered to represent a distinct genus, ‘Torosaurus’. Methodology/Principal Findings: The only specimen of ‘Nedoceratops hatcheri ’ was examined and the proposed diagnostic features of this taxon were compared with other chasmosaurine ceratopsids. Every suggested autapomorphy of ‘Nedoceratops ’ is found in specimens of Triceratops. In this study, Triceratops includes the adult ‘Torosaurus ’ morphology. The small parietal fenestra and elongate squamosals of Nedoceratops are consistent with a transition from a short, solid parietalsquamosal frill to an expanded, fenestrated condition. Objections to this hypothesis regarding the number of epiossifications of the frill and alternations of bone surface texture were explored through a combination of comparative osteology and osteohistology. The synonymy of the three taxa was further supported by these investigations. Conclusions/Significance: The Triceratops, ‘Torosaurus’, and ‘Nedoceratops ’ morphologies represent ontogenetic variatio

The Ontogenetic Osteohistology of Tenontosaurus tilletti

Tenontosaurus tilletti is an ornithopod dinosaur known from the Early Cretaceous (Aptian-Albian) Cloverly and Antlers formations of the Western United States. It is represented by a large number of specimens spanning a number of ontogenetic stages, and these specimens have been collected across a wide geographic range (from central Montana to southern Oklahoma). Here I describe the long bone histology of T. tilletti and discuss histological variation at the individual, ontogenetic and geographic levels. The ontogenetic pattern of bone histology in T. tilletti is similar to that of other dinosaurs, reflecting extremely rapid growth early in life, and sustained rapid growth through sub-adult ontogeny. But unlike other iguanodontians, this dinosaur shows an extended multi-year period of slow growth as skeletal maturity approached. Evidence of termination of growth (e.g., an external fundamental system) is observed in only the largest individuals, although other histological signals in only slightly smaller specimens suggest a substantial slowing of growth later in life. Histological differences in the amount of remodeling and the number of lines of arrested growth varied among elements within individuals, but bone histology was conservative across sampled individuals of the species, despite known paleoenvironmental differences between the Antlers and Cloverly formations. The bone histology of T. tilletti indicates a much slower growth trajectory than observed for other iguanodontians (e.g., hadrosaurids), suggesting that those taxa reached much larger sizes than Tenontosaurus in a shorter time