Flexible Authentication in Vehicular Ad hoc Networks

A Vehicular Ad-Hoc Network (VANET) is a form of Mobile ad-hoc network, to provide communications among nearby vehicles and between vehicles and nearby fixed roadside equipment. The key operation in VANETs is the broadcast of messages. Consequently, the vehicles need to make sure that the information has been sent by an authentic node in the network. VANETs present unique challenges such as high node mobility, real-time constraints, scalability, gradual deployment and privacy. No existent technique addresses all these requirements. In particular, both inter-vehicle and vehicle-to-roadside wireless communications present different characteristics that should be taken into account when defining node authentication services. That is exactly what is done in this paper, where the features of inter-vehicle and vehicle-to-roadside communications are analyzed to propose differentiated services for node authentication, according to privacy and efficiency needs

Paleoneuroanatomy of the European lambeosaurine dinosaur Arenysaurus ardevoli

The neuroanatomy of hadrosaurid dinosaurs is well known from North America and Asia. In Europe only a few cranial remains have been recovered that include the braincase. Arenysaurus is the first European endocast for which the paleoneuroanatomy has been studied. The resulting data have enabled us to draw ontogenetic, phylogenetic and functional inferences. Arenysaurus preserves the endocast and the inner ear. This cranial material was CT scanned, and a 3D-model was generated. The endocast morphology supports a general pattern for hadrosaurids with some characters that distinguish it to a subfamily level, such as a brain cavity that is anteroposteriorly shorter or the angle of the major axis of the cerebral hemisphere to the horizontal in lambeosaurines. Both these characters are present in the endocast of Arenysaurus. Osteological features indicate an adult ontogenetic stage, while some paleoneuroanatomical features are indicative of a subadult ontogenetic stage. It is hypothesized that the presence of puzzling mixture of characters that suggest different ontogenetic stages for this specimen may reflect some degree of dwarfism in Arenysaurus. Regarding the inner ear, its structure shows differences from the ornithopod clade with respect to the height of the semicircular canals. These differences could lead to a decrease in the compensatory movements of eyes and head, with important implications for the paleobiology and behavior of hadrosaurid taxa such as Edmontosaurus, Parasaurolophus and Arenysaurus. The endocranial morphology of European hadrosaurids sheds new light on the evolution of this group and may reflect the conditions in the archipelago where these animals lived during the Late CretaceousPeer ReviewedPostprint (published version

Global Linear Complexity Analysis of Filter Keystream Generators

An efficient algorithm for computing lower bounds on the global linear complexity of nonlinearly filtered PN-sequences is presented. The technique here developed is based exclusively on the realization of bit wise logic operations, which makes it appropriate for both software simulation and hardware implementation. The present algorithm can be applied to any arbitrary nonlinear function with a unique term of maximum order. Thus, the extent of its application for different types of filter generators is quite broad. Furthermore, emphasis is on the large lower bounds obtained that confirm the exponential growth of the global linear complexity for the class of nonlinearly filtered sequences

On the recovery of ISW fluctuations using large-scale structure tracers and CMB temperature and polarization anisotropies

In this work we present a method to extract the signal induced by the integrated Sachs-Wolfe (ISW) effect in the cosmic microwave background (CMB). It makes use of the Linear Covariance-Based filter introduced by Barreiro et al., and combines CMB data with any number of large-scale structure (LSS) surveys and lensing information. It also exploits CMB polarization to reduce cosmic variance. The performance of the method has been thoroughly tested with simulations taking into account the impact of non-ideal conditions such as incomplete sky coverage or the presence of noise. In particular, three galaxy surveys are simulated, whose redshift distributions peak at low ($z \simeq 0.3$), intermediate ($z \simeq 0.6$) and high redshift ($z \simeq 0.9$). The contribution of each of the considered data sets as well as the effect of a mask and noise in the reconstructed ISW map is studied in detail. When combining all the considered data sets (CMB temperature and polarization, the three galaxy surveys and the lensing map), the proposed filter successfully reconstructs a map of the weak ISW signal, finding a perfect correlation with the input signal for the ideal case and around 80 per cent, on average, in the presence of noise and incomplete sky coverage. We find that including CMB polarization improves the correlation between input and reconstruction although only at a small level. Nonetheless, given the weakness of the ISW signal, even modest improvements can be of importance. In particular, in realistic situations, in which less information is available from the LSS tracers, the effect of including polarisation is larger. For instance, for the case in which the ISW signal is recovered from CMB plus only one survey, and taking into account the presence of noise and incomplete sky coverage, the improvement in the correlation coefficient can be as large as 10 per cent.Comment: 17 pages, 15 figures, accepted for publication in MNRA

Linear solutions for cryptographic nonlinear sequence generators

This letter shows that linear Cellular Automata based on rules 90/150 generate all the solutions of linear difference equations with binary constant coefficients. Some of these solutions are pseudo-random noise sequences with application in cryptography: the sequences generated by the class of shrinking generators. Consequently, this contribution show that shrinking generators do not provide enough guarantees to be used for encryption purposes. Furthermore, the linearization is achieved through a simple algorithm about which a full description is provided

On the void explanation of the Cold Spot

The integrated Sachs-Wolfe (ISW) contribution induced on the cosmic microwave background by the presence of a supervoid as the one detected by Szapudi et al. (2015) is reviewed in this letter in order to check whether it could explain the Cold Spot (CS) anomaly. Two different models, previously used for the same purpose, are considered to describe the matter density profile of the void: a top hat function and a compensated profile produced by a Gaussian potential. The analysis shows that, even enabling ellipticity changes or different values for the dark-energy equation of state parameter $\omega$, the ISW contribution due to the presence of the void does not reproduce the properties of the CS. Finally, the probability of alignment between the void and the CS is also questioned as an argument in favor of a physical connection between these two phenomena