Key-dependent side-channel cube attack on CRAFT

CRAFT is a tweakable block cipher introduced in 2019 that aims to provide strong protection against differential fault analysis. In this paper, we show that CRAFT is vulnerable to side-channel cube attacks. We apply side-channel cube attacks to CRAFT with the Hamming weight leakage assumption. We found that the first half of the secret key can be recovered from the Hamming weight leakage after the first round. Next, using the recovered key bits, we continue our attack to recover the second half of the secret key. We show that the set of equations that are solvable varies depending on the value of the key bits. Our result shows that 99.90% of the key space can be fully recovered within a practical time.     

A fog-based security framework for intelligent traffic light control system

Multimedia Tools and Applications - The world is facing many problems including that of traffic congestion. To highlight the issue of traffic congestion worldwide specially in urban areas and to...     

Analysis of surface layers on bioactive glasses

FT-Raman spectroscopy proves to be a powerful technique to study surface reactions on bioactive glasses and it eliminates the fluorescence of the organic phase of whole bone, thereby making it possible to compare the reaction layers formed on bioactive glasses with the mineral phase of bone. The spectrum of hydroxycarbonate apatite (HCA) developed on the bioactive glasses is closer to that of bone than synthetic hydroxyapatite (HA) and closely matches that of bone mineral obtained by deproteination of whole human femoral cortical bone.     

Thermal and hydraulic performance of a modified two-stage evaporative cooler

The thermal and hydraulic performance of a modified two-stage evaporative cooler is evaluated. Variables considered are the mode of operation, packing thickness, mass flow rate of the water flowing to the precooler, and the mass flux of water flowing over the packing media. The effectiveness of the system increased with the increase of the mass flow rate of water flowing to the precooler, decreasing the mass flux of water flowing to the packing, and with the increase of the packing thickness. The effectiveness of the system with structured packing was higher than that with sheathy leaf base or natural fiber packing.The air-side pressure drop per unit length in the direction of air flow was nearly constant when the structured packing was used. For the sheathy leaf and natural fiber packings, the air pressure drop increased at a uniform rate as the mass flux of water flowing over the packing increased. The air pressure drop was lowest for the setup with the structured packing.     

Optimization Models for Layout and Pipe Design for Storm Sewer Systems

Optimization models are developed for simultaneously determining the pipe layout and the pipe design for storm sewer systems. The pipe design process includes computation of commercial diameters, slopes, and crown elevations for the storm sewer pipes. The optimization models aim to minimize the total costs of the layout and the pipe design for most of system elements. The optimization models are formulated as a 0–1 Integer Nonlinear Programming problem and solved using the General Algebraic Modeling System without the use of heuristic models which were characteristic of all previous models for the simultaneous determine of the pipe layout and pipe design of sewer networks. The models are based upon two different optimization approaches: (1) considers one or more commercial diameters of pipe connecting two manholes and (2) considers only one commercial diameter in a pipe connecting two manholes. The commercial diameters, pipe slopes, crown elevations, and total costs of the storm sewer system were compared for the two approaches using an example that illustrates the savings in cost by allowing multiple pipe sizes. The two new optimization modeling approaches developed herein can simultaneously determine the minimum cost pipe design (commercial diameters, slopes, and crown elevations) and pipe layout of storm sewer systems and satisfy all design constraints.

     

Improving security of the Internet of Things via RF fingerprinting based device identification system

Neural Computing and Applications - Security is one of the primary concerns when designing wireless networks. Along detecting user identity, it is also important to detect the devices at the...     

Uncertainty modeling and robust minimax LQR control of multivariable nonlinear systems with application to hypersonic flight

For a class of multi‐input and multi‐output nonlinear uncertainty systems, a novel approach to design a nonlinear controller using minimax linear quadratic regulator (LQR) control is proposed. The proposed method combines a feedback linearization method with the robust minimax LQR approach in the presence of time‐varying uncertain parameters. The uncertainties, which are assumed to satisfy a certain integral quadratic constraint condition, do not necessarily satisfy a generalized matching condition. The procedure consists of feedback linearization of the nominal model and linearization of the remaining nonlinear uncertain terms with respect to each individual uncertainty at a local operating point. This two‐stage linearization process, followed by a robust minimax LQR control design, provides a robustly stable closed loop system. To demonstrate the effectiveness of the proposed approach, an application study is provided for a flight control problem of an air‐breathing hypersonic flight vehicle (AHFV), where the outputs to be controlled are the longitudinal velocity and altitude, and the control variables are the throttle setting and elevator deflection. The proposed method is used to derive a linearized uncertainty model for the longitudinal motion dynamics of the AHFV first, and then a robust minimax LQR controller is designed, which is based on this uncertainty model. The controller is synthesized considering seven uncertain aerodynamic and inertial parameters. The stability and performance of the synthesized controller is evaluated numerically via single scenario simulations for particular cruise conditions as well as a Monte‐Carlo type simulation based on numerous cases. It is observed that the control scheme proposed in this paper performs better, especially from the aspect of robustness to large ranges of uncertainties, than some controller design schemes previously published in the literature. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society