Wire - a formal intermediate language for binary analysis

Wire is a intermediate language to enable static program analysis on low level objects such as native executables. It has practical benefit in analysing the structure and semantics of malware, or for identifying software defects in closed source software. In this paper we describe how an executable program is disassembled and translated to the Wire intermediate language. We define the formal syntax and operational semantics of Wire and discuss our justifications for its language features. We use Wire in our previous work Malwise, a malware variant detection system. We also examine applications for when a formally defined intermediate language is given. Our results include showing the semantic equivalence between obfuscated and non obfuscated code samples. These examples stem from the obfuscations commonly used by malware.

Perfil lipídico e fatores biológicos e ambientais : o papel da atividade física

RESUMO - Introdução: A inatividade física é um dos determinantes major das doenças crónicas não transmissíveis sendo a quarta maior causa de mortalidade no mundo, nomeadamente para as doenças vasculares. A prática regular de atividade física produz adaptações vasculares responsáveis por efeitos benéficos na prevenção e tratamento dos diferentes fatores de risco vascular, nomeadamente através do seu efeito no metabolismo das lipoproteínas. Objetivos: Analisar a interferência da atividade física no perfil lipídico de uma população residente em Portugal. Métodos: Estudo observacional descritivo transversal exploratório com 1027 indivíduos (idade: 18 aos 80 anos, 49% mulheres). Os dados foram analisados em SPSS (versão 20), tendo-se utilizado métodos de estatística descritiva e de análise bivariável entre os factores de risco vascular e as variáveis do perfil lipídico e ainda uma análise multivariável de regressão logística binária para medir a razão de riscos pelo odds ratio. O nível de significância foi estabelecido em 5%. Resultados: Na análise da relação entre atividade física e os biomarcadores do perfil lipídico verificou-se que existem benefícios no que diz respeito ao aumento dos níveis de HDL e de apoA1 e na diminuição dos níveis de TG com a prática regular de atividade física. Conclusões: A atividade física apresenta um papel importante na regulação do perfil lipídico evidenciando a necessidade de implementar estratégias multissectoriais de prevenção dos fatores de risco vascular, nomeadamente na área dos estilos de vida saudáveis que são fundamentais para a prevenção destas condições de saúde e para gerar ganhos em saúde.

Reliable fault diagnosis for incipient low-speed bearings using fault feature analysis based on a binary bat algorithm

In this paper, we propose a highly reliable fault diagnosis scheme for incipient low-speed rolling element bearing failures. The scheme consists of fault feature calculation, discriminative fault feature analysis, and fault classification. The proposed approach first computes wavelet-based fault features, including the respective relative wavelet packet node energy and entropy, by applying a wavelet packet transform to an incoming acoustic emission signal. The most discriminative fault features are then filtered from the originally produced feature vector by using discriminative fault feature analysis based on a binary bat algorithm (BBA). Finally, the proposed approach employs one-against-all multiclass support vector machines to identify multiple low-speed rolling element bearing defects. This study compares the proposed BBA-based dimensionality reduction scheme with four other dimensionality reduction methodologies in terms of classification performance. Experimental results show that the proposed methodology is superior to other dimensionality reduction approaches, yielding an average classification accuracy of 94.9%, 95.8%, and 98.4% under bearing rotational speeds at 20 revolutions-per-minute (RPM), 80 RPM, and 140 RPM, respectively.

Optimum weighting function in bispectral analysis in speckle interferometry - Binary star parity detection

In order to describe the atmospheric turbulence which limits the resolution of long-exposure images obtained using ground-based large telescopes, a simplified model of a speckle pattern, reducing the complexity of calculating field-correlations of very high order, is presented. Focal plane correlations are used instead of correlations in the spatial frequency domain. General tripple correlations for a point source and for a binary are calculated and it is shown that they are not a strong function of the binary separation. For binary separations close to the diffraction limit of the telescope, the genuine triple correlation technique ensures a better SNR than the near-axis Knox-Thompson technique. The simplifications allow a complete analysis of the noise properties at all levels of light.

Theoretical and Computational Analysis of Static and Dynamic Anomalies in Water-DMSO Binary Mixture at Low DMSO Concentrations

Experiments have repeatedly observed both thermodynamic and dynamic anomalies in aqueous binary mixtures, surprisingly at low solute concentration. Examples of such binary mixtures include water-DMSO, water-ethanol, water-tertiary butyl alcohol (TBA), and water-dioxane, to name a few. The anomalies have often been attributed to the onset of a structural transition, whose nature, however, has been left rather unclear. Here we study the origin of such anomalies using large scale computer simulations and theoretical analysis in water-DMSO binary mixture. At very low DMSO concentration (below 10%), small aggregates of DMSO are solvated by water through the formation of DMSO-(H2O)(2) moieties. As the concentration is increased beyond 10-12% of DMSO, spanning clusters comprising the same moieties appear in the system. Those clusters are formed and stabilized not only through H-bonding but also through the association of CH3 groups of DMSO. We attribute the experimentally observed anomalies to a continuum percolation-like transition at DMSO concentration X-DMSO approximate to 12-15%. The largest cluster size of CH3-CH3 aggregation clearly indicates the formation of such percolating clusters. As a result, a significant slowing down is observed in the decay of associated rotational auto time correlation functions (of the S = O bond vector of DMSO and O-H bond vector of water). Markedly unusual behavior in the mean square fluctuation of total dipole moment again suggests a structural transition around the same concentration range. Furthermore, we map our findings to an interacting lattice model which substantiates the continuum percolation model as the reason for low concentration anomalies in binary mixtures where the solutes involved have both hydrophilic and hydrophobic moieties.

Scaling analysis of momentum, heat, and mass transfer in binary alloy solidification problems

A systematic approach is developed for scaling analysis of momentum, heat and species conservation equations pertaining to the case of solidification of a binary mixture. The problem formulation and description of boundary conditions are kept fairly general, so that a large class of problems can be addressed. Analysis of the momentum equations coupled with phase change considerations leads to the establishment of an advection velocity scale. Analysis of the energy equation leads to an estimation of the solid layer thickness. Different regimes corresponding to different dominant modes of transport are simultaneously identified. A comparative study involving several cases of possible thermal boundary conditions is also performed. Finally, a scaling analysis of the species conservation equation is carried out, revealing the effect of a non-equilibrium solidification model on solute segregation and species distribution. It is shown that non-equilibrium effects result in an enhanced macrosegregation compared with the case of an equilibrium model. For the sake of assessment of the scaling analysis, the predictions are validated against corresponding computational results.

Analysis of expression of the binary toxin genes from Bacillus sphaericus in Anabaena and the potential in mosquito control

Anabaena strains expressing the binary toxin genes of Bacillus sphaericus produce high larvicidal activity with living cells. Western blot analysis showed that the 51-kDa and 42-kDa toxin proteins were stable in Anabaena. When a DNA fragment upstream of the 51-kDa protein gene was deleted, the toxicity was reduced by over a hundred-fold, whereas deletions at the coding regions showed that the cooperation of the two proteins expressed in Anabaena is essential for the larvicidal activity. Outdoor tests showed that the genetically altered Anabaena could keep containers with natural water from being inhabited by Culex larvae for over 2 months.

Binary alloys of nylon 1010 and ethylene-propylene copolymer: Chemical, morphological, and mechanical analysis

The modification of ethylene-propylene copolymer (EPM) has been accomplished by melt grafting of maleic anhydride (MAH) molecules promoted by radical initiators. The resulting EPM-g-MAH and EPM have been used to obtain binary nylon 1010/EPM or nylon 1010/EPM-g-MAH blends by melt mixing. It was found that the EPM-g-MAH copolymer used as the second component has a profound effect upon the properties of the resulting blends. This behavior has been attributed to a series of chemical and physicochemical interactions taking place between the two components. The interactions are due to the presence of the anhydride functionality on the copolymer and do not occur when this functionality is absent. The interaction has been confirmed by Fourier-transform infrared spectroscopy, differential scanning calorimetry, dynamic mechanical analysis, and scanning electron microscopic.

Bit erasure analysis of binary adders in quantum-dot cellular automata

As a post-CMOS technology, the incipient Quantum-dot Cellular Automata technology has various advantages. A key aspect which makes it highly desirable is low power dissipation. One method that is used to analyse power dissipation in QCA circuits is bit erasure analysis. This method has been applied to analyse previously proposed QCA binary adders. However, a number of improved QCA adders have been proposed more recently that have only been evaluated in terms of area and speed. As the three key performance metrics for QCA circuits are speed, area and power, in this paper, a bit erasure analysis of these adders will be presented to determine their power dissipation. The adders to be analysed are the Carry Flow Adder (CFA), Brent-Kung Adder (B-K), Ladner-Fischer Adder (L-F) and a more recently developed area-delay efficient adder. This research will allow for a more comprehensive comparison between the different QCA adder proposals. To the best of the authors' knowledge, this is the first time power dissipation analysis has been carried out on these adders.