Memory-Based High-Level Synthesis Optimizations Security Exploration on the Power Side-Channel

High-level synthesis (HLS) allows hardware designers to think algorithmically and not worry about low-level, cycle-by-cycle details. This provides the ability to quickly explore the architectural design space and tradeoffs between resource utilization and performance. Unfortunately, security evaluation is not a standard part of the HLS design flow. In this article, we aim to understand the effects of memory-based HLS optimizations on power side-channel leakage. We use Xilinx Vivado HLS to develop different cryptographic cores, implement them on a Spartan-6 FPGA, and collect power traces. We evaluate the designs with respect to resource utilization, performance, and information leakage through power consumption. We have two important observations and contributions. First, the choice of resource optimization directive results in different levels of side-channel vulnerabilities. Second, the partitioning optimization directive can greatly compromise the hardware cryptographic system through power side-channel leakage due to the deployment of memory control logic. We describe an evaluation procedure for power side-channel leakage and use it to make best-effort recommendations about how to design more secure architectures in the cryptographic domain

Contribution of infrastructure to the township's sustainable development in Southwest China

Townships in Southwest China are usually located in mountainous regions, which are abundant in natural and cultural landscape resources. There are additional requirements for the township’s sustainable development in these areas. However, insufficient infrastructures, due to limited resources, constrain the sustainable development of these townships. Sustainable contribution of infrastructure (SCOI) in this study is defined as the performance of infrastructure as a contribution to the coordinated development among economic, social, and environmental dimensions of township’s sustainable development. It is necessary to assess these infrastructures according to SCOI and provide choices for investment to maximize resource utilization. Therefore, an assessing model of SCOI with 26 general indicators was developed, which covers five most urgently needed infrastructures of these townships in Southwest China, including road transport, sewage treatment, waste disposal, water supply, and gas. In this model, quantitative and qualitative methods are combined to acquire different SCOI of each infrastructure. The result of the SCOI would be an important reference for infrastructure investment. A case study of Jiansheng Town, that is located in the Dadukou district of Chongqing, demonstrates the applicability of the model. It shows the assessing model of SCOI is efficient to identify the most valuable infrastructure that is appropriate for investment with the goal of township’s sustainable development. This study can provide insights for infrastructure investment and management in townships or areas

The Research of QoS Approach in Web Servers

Proportional Delay Guarantee has been widely used in the Web QoS service, and the most basic methods are the feedback of control theory and the predictive control of queuing theory. While the former belonging to passive control has a long setting time and imperfect real-time, the latter can not simulate the Web server queuing system well because of the model limitations. After the experimental verification and shortages analysis of the two methods, an improved approach is proposed in this paper. Based on the queuing feature of Web server and the HTTP 1.1 persistent connection, the improved approach predicts the delay by calculating the queue length and service rate and achieves the relative delay guarantee of different classes by adjusting their quota of worker threads. The experimental results demonstrate that the approach could maintain the relative delay guarantees well even in poor network environment and performs a much better superior compared with the traditional methods

Ecological strategies of Hyphantria cunea (Lepidoptera: Arctiidae) response to different larval densities

Population density is an essential factor affecting the life history traits of insects and their trade-off relationships, as increasing density intensifies intraspecific competition. It decreases the average resources available to individuals within a population, affecting their morphology, physiology, behavior, and fitness. The fall webworm, Hyphantria cunea (Drury) (Lepidoptera: Arctiidae), has been an invasive pest of forest trees, ornamental plants, and fruit trees in China for many years. The larvae have a typical aggregation habit before the fourth instar and keep spitting silk to gather the damaged leaves into silk webs. However, the fitness of H. cunea in response to population density remains unclear. In this study, the critical biological parameters, food utilization, and population parameters of H. cunea in response to different rearing densities were investigated. The results showed that under high population density, H. cunea larvae showed better performance, with faster development, higher survival rates, and shorter generation time, but pupal weight and female fecundity decreased as population density increased. In contrast, for larvae raised in low density, the developmental period was prolonged, and mortality was increased, while higher food utilization, greater body size, and female fecundity were observed. Both males and females had similar development strategies in response to the density, but females may be more resistant to crowding than males. In conclusion, H. cunea could adopt different ecological strategies against the stress of density. High population densities result in shorter generation cycles and higher survival rates. Conversely, the low-density generation period becomes longer but with greater fecundity. The results may help determine the possible outbreak mechanism and develop effective population monitoring and forecasting measures for H. cunea

An easily implemented agro-hydrological procedure with dynamic root simulation for water transfer in the crop–soil system: validation and application

Models for water transfer in the crop–soil system are key components of agro-hydrological models for irrigation, fertilizer and pesticide practices. Many of the hydrological models for water transfer in the crop–soil system are either too approximate due to oversimplified algorithms or employ complex numerical schemes. In this paper we developed a simple and sufficiently accurate algorithm which can be easily adopted in agro-hydrological models for the simulation of water dynamics. We used a dual crop coefficient approach proposed by the FAO for estimating potential evaporation and transpiration, and a dynamic model for calculating relative root length distribution on a daily basis. In a small time step of 0.001 d, we implemented algorithms separately for actual evaporation, root water uptake and soil water content redistribution by decoupling these processes. The Richards equation describing soil water movement was solved using an integration strategy over the soil layers instead of complex numerical schemes. This drastically simplified the procedures of modeling soil water and led to much shorter computer codes. The validity of the proposed model was tested against data from field experiments on two contrasting soils cropped with wheat. Good agreement was achieved between measurement and simulation of soil water content in various depths collected at intervals during crop growth. This indicates that the model is satisfactory in simulating water transfer in the crop–soil system, and therefore can reliably be adopted in agro-hydrological models. Finally we demonstrated how the developed model could be used to study the effect of changes in the environment such as lowering the groundwater table caused by the construction of a motorway on crop transpiration

Gate-Level Information Flow Tracking for Security Lattices

High-assurance systems found in safety-critical infrastructures are facing steadily increasing cyber threats. These critical systems require rigorous guarantees in information flow security to prevent confidential information from leaking to an unclassified domain and the root of trust from being violated by an untrusted party. To enforce bit-tight information flow control, gate-level information flow tracking (GLIFT) has recently been proposed to precisely measure and manage all digital information flows in the underlying hardware, including implicit flows through hardware-specific timing channels. However, existing work in this realm either restricts to two-level security labels or essentially targets two-input primitive gates and several simple multilevel security lattices. This article provides a general way to expand the GLIFT method for multilevel security. Specifically, it formalizes tracking logic for an arbitrary Boolean gate under finite security lattices, presents a precise tracking logic generation method for eliminating false positives in GLIFT logic created in a constructive manner, and illustrates application scenarios of GLIFT for enforcing multilevel information flow security. Experimental results show various trade-offs in precision and performance of GLIFT logic created using different methods. It also reveals the area and performance overheads that should be expected when expanding GLIFT for multilevel security

A sensor with coating Pt/WO3 powder with an Erbium-doped fiber amplifier to detect the hydrogen concentration

A highly sensitive hydrogen sensor coated with Pt/WO3 powder with an Erbium-doped fibre amplifier (EDFA) is proposed and experimentally demonstrated. The sensing head is constructed by splicing a short section of tapered small diameter coreless fiber (TSDCF diameter of 62.5 μm, and tapered to 14.5 μm) between two single-mode fibres. The Pt/WO3 powder adheres to the surface of PDMS film coated on the TSDCF structure, which is sensitive to hydrogen. An EDFA is introduced into the sensor system to improve the quality factor of the output spectrum and thus improve the sensor’s resolution. As the hydrogen concentration varies from 0 to 1.44, the measured maximum light intensity variation and the sensor’s sensitivity are -32.41 dB and -21.25 dB/, respectively. The sensor demonstrates good stability with the light intensity fluctuation of < 1.26 dB over a 30-minute duration