A genetic tango attack against the David–Prasad RFID ultra‐lightweight authentication protocol

Radio frequency identification (RFID) is a powerful technology that enables wireless information storage and control in an economical way. These properties have generated a wide range of applications in different areas. Due to economic and technological constrains, RFID devices are seriously limited, having small or even tiny computational capabilities. This issue is particularly challenging from the security point of view. Security protocols in RFID environments have to deal with strong computational limitations, and classical protocols cannot be used in this context. There have been several attempts to overcome these limitations in the form of new lightweight security protocols designed to be used in very constrained (sometimes called ultra‐lightweight) RFID environments. One of these proposals is the David–Prasad ultra‐lightweight authentication protocol. This protocol was successfully attacked using a cryptanalysis technique named Tango attack. The capacity of the attack depends on a set of boolean approximations. In this paper, we present an enhanced version of the Tango attack, named Genetic Tango attack, that uses Genetic Programming to design those approximations, easing the generation of automatic cryptanalysis and improving its power compared to a manually designed attack. Experimental results are given to illustrate the effectiveness of this new attack.     

A 2D algorithm with asymmetric workload for the UPC conjugate gradient method

This paper examines four different strategies, each one with its own data distribution, for implementing the parallel conjugate gradient (CG) method and how they impact communication and overall performance. Firstly, typical 1D and 2D distributions of the matrix involved in CG computations are considered. Then, a new 2D version of the CG method with asymmetric workload, based on leaving some threads idle during part of the computation to reduce communication, is proposed. The four strategies are independent of sparse storage schemes and are implemented using Unified Parallel C (UPC), a Partitioned Global Address Space (PGAS) language. The strategies are evaluated on two different platforms through a set of matrices that exhibit distinct sparse patterns, demonstrating that our asymmetric proposal outperforms the others except for one matrix on one platform.     

A GPU implementation of a hybrid evolutionary algorithm: GPuEGO

The high computation requirements of global optimization algorithms, when used to solve real optimization problems, have caused the appearance of different parallelization strategies using several parallel computing architectures. In this work, the Universal Evolutionary Global Optimizer is implemented in CUDA to be run on GPU architectures (GPuEGO). This parallelization of the referred evolutionary multimodal optimization algorithm is rather different from other previous parallel implementations designed to be executed into shared or distributed memory processors. In this case, due to the special characteristics of a GPU architecture, the original data structures are not valid and it has been necessary to redefine them and all the functions that operate with them. When this approach is applied the acceleration factors achieved by GPuEGO range from \({\times }\) 6.33 to \({\times }\) 23.20 depending on the test function.     

Analysis of pentasodium triphosphate hydration kinetics

The present work analyzes the effect of various factors on the hydration of pentasodium triphosphate. The experimental method is based on application of the hydration test. Technical-quality products with different proportions of phase I and phase II have been used. The variables studied are phase I/phase II ratio, initial temperature, particle size, stirring rate and composition of the slurry (presence of hexahydrate crystals and water hardness). The results have been discussed according to a kinetics model that includes a series of stages of a physical nature (dissolution of anhydrous salt and the crystallization of the hexahydrate), as well as of a chemical nature (solvation of the ions in solution). Crystallization of the hexahydrate may be the controlling stage in the process.     

Fault-Tolerant Formation Driving Mechanism Designed for Heterogeneous MAVs-UGVs Groups

A fault-tolerant method for stabilization and navigation of 3D heterogeneous formations is proposed in this paper. The presented Model Predictive Control (MPC) based approach enables to deploy compact formations of closely cooperating autonomous aerial and ground robots in surveillance scenarios without the necessity of a precise external localization. Instead, the proposed method relies on a top-view visual relative localization provided by the micro aerial vehicles flying above the ground robots and on a simple yet stable visual based navigation using images from an onboard monocular camera. The MPC based schema together with a fault detection and recovery mechanism provide a robust solution applicable in complex environments with static and dynamic obstacles. The core of the proposed leader-follower based formation driving method consists in a representation of the entire 3D formation as a convex hull projected along a desired path that has to be followed by the group. Such an approach provides non-collision solution and respects requirements of the direct visibility between the team members. The uninterrupted visibility is crucial for the employed top-view localization and therefore for the stabilization of the group. The proposed formation driving method and the fault recovery mechanisms are verified by simulations and hardware experiments presented in the paper.     

A New Nonlinear Controller for Trajectory Tracking of the Longitudinal Dynamics of a Small Scale Helicopter

A nonlinear control scheme is proposed for the trajectory tracking problem of a small scale helicopter’s longitudinal dynamics. The control scheme is based on a control design procedure that constructs static feedback regulators for nonlinear systems which are linearizable by dynamic feedback. Besides, the flatness characteristics of the helicopter’s longitudinal dynamics are used to design the desired trajectory. The controller proposed is based on the longitudinal model of the small scale helicopter including the main rotor and stabilizer bar dynamics. Sufficient conditions are given to guarantee asymptotic convergence to zero of the tracking error and to keep the main rotor thrust always negative assuming that all the helicopter’s parameters are known and that all helicopter’s states are measured. Numerical simulations are given to show the performance of the controller in the presence of the main rotor and stabilizer bar dynamics.     

Functional properties of a protein product from Caryodendron orinocense (Barinas nut)

The functional properties of Caryodendron orinocense protein product were investigated and compared with those of soybean (Glycina maxima). The product protein content was 24.47 g/100 g (Nx6.25). Solubility increased at both sides of the isoelectric point (pH 4.0) and with increased NaCl concentration up to 0.5M. Compared with soybean flour (50% protein), the protein product exhibited higher water and oil absorption, but lower emulsifying activity, emulsion stability, foaming capacity, and foam stability, the last one increase at higher pH. Emulsifying activity, foaming capacity, and foam stability were ionic strength dependent. C. orinocense protein product increased its emulsifying activity steadily from 0.05M to 0.75M NaCl, while it remained almost constant for soybean flour. Foaming capacity increased drastically at pH 10. The minimum time and concentration to form a gel was 20% in 4 min and 10% in 8 min for the Caryodendron protein product and soybean flour, respectively. The bulk density was 0.5056+/-0.0041 g/mL.     

Impregnation of X Zeolite with Alkaline Hydroxide During the Synthesis

Enhancement of the basic properties of the X zeolite with FAU framework has been carried out during synthesis, without further treatment such as ion-exchange or impregnation. Control of the washing stage enables retention of the optimum amount of alkaline hydroxides, which increases the basic catalytic activity of X zeolite in the alkylation of toluene. This alkaline hydroxides neither affect the FAU framework nor the silicon/aluminium molar ratio of the X zeolite. The optimum (Na + K)/Al molar ratio of the improved catalyst was 1.06 corresponding to a washing volume of 200 mL. This X zeolite presented better catalytic activity than a cesium-zeolite prepared by ion-exchange. The presence of hydroxysodalite impurity in the X zeolite increased the amount of impregnated alkaline hydroxides but not the catalytic activity. The present study shows that it is possible to increase the basic properties of the X zeolite directly in the synthesis process.