Context-sensitive analysis of obfuscated x86 executables

A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipulate stack instead of using native call and ret instructions to achieve equivalent behavior. Since definition of context-sensitivity and algorithms for context-sensitive analysis have thus far been based on the specific semantics associated to procedure call and return operations, classic interprocedural analyses cannot be used reliably for analyzing programs in which these operations cannot be discerned. A new notion of context-sensitivity is introduced that is based on the state of the stack at any instruction. While changes in 'calling'-context are associated with transfer of control, and hence can be reasoned in terms of paths in an interprocedural control flow graph (ICFG), the same is not true of changes in 'stack'-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of call-strings based methods for the context-sensitive analysis using stack-context. The method presented is used to create a context-sensitive version of Venable et al.'s algorithm for detecting obfuscated calls. Experimental results show that the context-sensitive version of the algorithm generates more precise results and is also computationally more efficient than its context-insensitive counterpart. Copyright © 2010 ACM.

Environment for teaching and development of mobile robot systems

Using robots for teaching is one approach that has gathered good results on Middle-School, High-School and Universities. Robotics gives chance to experiment concepts of a broad range of disciplines, principally those from Engineering courses and Computer Science. However, there are not many kits that enables the use of robotics in classroom. This article describes the methodologies to implement tools which serves as test beds for the use of robotics to teach Computer Science and Engineering. Therefore, it proposes the development of a flexible, low cost hardware to integrate sensors and control actuators commonly found on mobile robots, the development of a mobile robot device whose sensors and actuators allows the experimentation of different concepts, and an environment for the implementation of control algorithms through a computer network. This paper describes each one of these tools and discusses the implementation issues and future works. © 2010 IEEE.

Network node with wireless and wired interfaces: Nios II processor and uClinux to development of a NCAP embedded (IEEE 1451.1) with two interfaces, wireless (IEEE 1451.5) and wired (IEEE p1451.2)

This paper presents a NCAP embedded on DE2 kit with Nios II processor and uClinux to development of a network gateway with two interfaces, wireless (ZigBee) and wired (RS232) based on IEEE 1451. Both the communications, wireless and wired, were developed to be point-to-point and working with the same protocols, based on IEEE 1451.0-2007. The tests were made using a microcomputer, which through of browser was possible access the web page stored in the DE2 kit and send commands of control and monitoring to both TIMs (WTIM and STIM). The system describes a different form of development of the NCAP node to be applied in different environments with wired or wireless in the same node. © 2011 IEEE.

Color stability of resins and nylon as denture base material in beverages

Purpose: Staining of prosthodontic materials may result in patient dissatisfaction and additional expense for replacement. This study aimed to determine the color stability of two heat-cured denture base acrylic (Lucitone 550, Vipi Cril) and one nylon denture base resin (Transflex) after immersion in beverages. Materials and Methods: Forty disks of each resin (20.0-mm diameter, 3.0-mm thick) were prepared and stored in distilled water for 24 hours at 37°C. During that time (T 0), the color of all specimens was spectrophotometrically measured. Each specimen was immersed in coffee, cola, red wine, and distilled water as a means of control. After 15-day (T 1) and 30-day (T 2) periods of immersion, the color of the specimens was measured again. The CIE (Commission Internationale de L' Eclairage) L*a*b* system was used to determine mean ΔE (color changes) values for each material and compared statistically with two-way ANOVA and Bonferroni intervals at 0.95. Results: In ΔET 0T 1 and ΔET 0T 2 the most severe staining was apparent with red wine (p < 0.001), followed by coffee (p < 0.01), when compared to the specimens stored in distilled water. Transflex also showed significant color change after immersion in cola (p < 0.01). In ΔET 1T 2 only red wine promoted significant staining of all resins (p < 0.0001). Conclusion: Chromatic changes were exhibited by specimens immersed in red wine, followed by coffee. For Transflex, cola also promoted color changes. The values of color changes converted to National Bureau of Standard units showed them to be perceivable to the human eye. © 2011 by the American College of Prosthodontists.

Effects of spray nozzles and spray volume on spodoptera frugiperda management and narrow row corn performance

The high demand of pesticides in the production systems makes the application technology one of the main alternatives to optimize the products efficiency. In this context, the study aimed to evaluate the effects of spray nozzles and spray volumes on spraying deposits, armyworm control and crop corn performance in narrow row sowing system. The experiment was carried out at experimental area of Sao Paulo State University, Campus of Botucatu/SP, Brazil, during the 2009/2010 agricultural season, in randomized blocks with factorial scheme (2x2+1) and four replications. It was tested two flat fan spray nozzles (with and without air induction) combined with two spray volumes (100 and 200 L ha-1) plus a control treatment. There was no influence of spray nozzles (without air induction) in the spray deposits levels on plants. However, the flat fan nozzle with air induction was more effective on fall armyworm, with 100% of control against 47.84% from other at 15 days after spraying. The increase in the spray volume promoted high spray deposits (415.4 and 388.6 μL g-1 dry mass for flat fan nozzle with and without air induction, respectively at V10 growth stage) and consequently, the highest spray volume (200 L-1) was more efficient in the fall armyworm suppression, with 100% of control. All the technologies tested showed lower plant injury from fall armyworm. The insecticide sprayed with different technologies did not affect the parameters of plant height and leaf area index. The corn productivity was directly related with control efficiency of fall armyworm. © 2012 Academic Journals Inc.

Fuzzy control embedded in microcontroller and applied to an experimental apparatus using magnetorheological fluid damper

This work focuses on applying fuzzy control embedded in microcontrollers in an experimental apparatus using magnetorheological fluid damper. The non-linear behavior of the magnetorheological dampers associated with the parametric variations on vehicle suspension models corroborate the use of the fuzzy controllers. The fundamental formulation of this controller is discussed and its performance is shown through numeric simulations. An experimental apparatus representing a two degree of freedom system containing a magnetorheological damper is used to identify the main parameters and to evaluate the performance of the closed-loop system with the embedded low-cost microcontroller-based fuzzy controller. © 2013 Brazilian Society for Automatics - SBA.

Stability of nonlinear system using takagi-sugeno fuzzy models and hyper-rectangle of LMIs

This paper presents a theorem based on the hyper-rectangle defined by the closed set of the time derivatives of the membership functions of Takagi-Sugeno fuzzy systems. This result is also based on Linear Matrix Inequalities and allows the reduction of the conservatism of the stability analysis in the sense of Lyapunov. The theorem generalizes previous results available in the literature. © 2013 Brazilian Society for Automatics - SBA.

The effect of muscle fatigue on the last stride before stepping down a curb

The stride before landing may be important during stepping down. The aim of this study was to analyze variability of the kinematics and muscle activity in the final stride before stepping down a curb, with and without ankle and knee muscle fatigue. Ten young participants walked at self-selected speed and stepped down a height difference (10-cm) in ongoing gait. Five trials were performed before and after a muscle fatigue protocol (one day: ankle muscle fatigue, another day: knee muscle fatigue). The analysis focused on the trailing leg during the last but one and the last step on the higher level. Kinematics and muscle activity were recorded. Fatigue increased variability of foot-step horizontal distance in the last step on the higher level of the trailing limb, as well as in the first steps on the lower level for both limbs. This appeared due to an increase in the range of motion of the knee joint after both fatigue protocols. Participants additionally showed an increased ankle and hip ROM and decreased knee ROM. Our results suggest a loss of control under fatigue reflected in a higher variability of trailing and leading limb-step horizontal distances, with compensatory changes to limit fatigue effects, such as a redistribution of movement over joints. © 2012 Elsevier B.V.

Risk of metabolic syndrome in postmenopausal breast cancer survivors

The aim of this study was to assess the risk of metabolic syndrome (MetS) in postmenopausal breast cancer survivors as compared with postmenopausal women without breast cancer. METHODS: In this cross-sectional study, 104 postmenopausal breast cancer survivors were compared with 208 postmenopausal women (controls) attending a university hospital. Eligibility criteria included the following: amenorrhea longer than 12 months and aged 45 years or older, treated for breast cancer, and metastasis-free for at least 5 years. The control group consisted of women with amenorrhea longer than 12 months and aged 45 years or older and without breast cancer, matched by age and menopause status (in a proportion of 1:2 as sample calculation). Clinical and anthropometric data were collected. Biochemical parameters, including total cholesterol, high-density lipoprotein cholesterol, low-density lipoprotein cholesterol, triglycerides, glucose, and C-reactive protein, were measured. Women showing three or more diagnostic criteria were diagnosed as having MetS: waist circumference of 88 cm or larger, blood pressure of 130/85 mm Hg or higher, triglycerides level of 150 mg/dL or higher, high-density lipoprotein cholesterol level lower than 50 mg/dL, and glucose level of 100 mg/dL or higher. For statistical analysis, Student's t test, χ2 test, and logistic regression (odds ratio [OR]) were used. RESULTS: The mean (SD) age of breast cancer survivors was 60.6 (8.6) years, with a mean (SD) follow-up of 9.4 (4.4) years. A higher percentage of breast cancer survivors (46.2%) were obese as compared with controls (32.7%; P < 0.05), and a smaller percentage showed optimal values for low-density lipoprotein cholesterol, glucose, and C-reactive protein versus controls (P < 0.05). MetS was diagnosed in 50% of breast cancer survivors and in 37.5% of control group women (P < 0.05). Among the MetS diagnostic criteria, the most prevalent was abdominal obesity (waist circumference >88 cm), affecting 62.5% and 67.8% of the participants, respectively. In the control group, breast cancer survivors had a higher risk for MetS (OR, 1.66; 95% CI, 1.04-2.68), dysglycemia (OR, 1.05; 95% CI, 1.09-3.03), and hypertension (OR, 1.71; 95% CI, 1.02-2.89). CONCLUSIONS: Postmenopausal breast cancer survivors present a higher risk of developing MetS as compared with women without breast cancer. © 2012 by The North American Menopause Society.

Multiobjective short-term planning of electric power distribution systems using NSGA-II

This paper presents a mixed integer nonlinear programming multiobjective model for short-term planning of distribution networks that considers in an integrated manner the following planning activities: allocation of capacitor banks; voltage regulators; the cable replacement of branches and feeders. The objective functions considered in the proposed model are: to minimize operational and investment costs and minimize the voltage deviations in the the network buses, subject to a set of technical and operational constraints. A multiobjective genetic algorithm based on a Non-Dominated Sorting Genetic Algorithm (NSGA-II) is proposed to solve this model. The proposed mathematical model and solution methodology is validated testing a medium voltage distribution system with 135 buses. © 2013 Brazilian Society for Automatics - SBA.

Artificial neural network model of discharge lamps in the power quality context

This paper presents a methodology for modeling high intensity discharge lamps based on artificial neural networks. The methodology provides a model which is able to represent the device operating in the frequency of distribution systems, facing events related to power quality. With the aid of a data acquisition system to monitor the laboratory experiment, and using $$\text{ MATLAB }^{\textregistered }$$ software, data was obtained for the training of two neural networks. These neural networks, working together, were able to represent with high fidelity the behavior of a discharge lamp. The excellent performance obtained by these models allowed the simulation of a group of lamps in a distribution system with shorter simulation time when compared to mathematical models. This fact justified the application of this family of loads in electric power systems. The representation of the device facing power quality disturbances also proved to be a useful tool for more complex studies in distribution systems. © 2013 Brazilian Society for Automatics - SBA.

Nonlinear control system applied to atomic force microscope including parametric errors

The performance of the optimal linear feedback control and of the state-dependent Riccati equation control techniques applied to control and to suppress the chaotic motion in the atomic force microscope are analyzed. In addition, the sensitivity of each control technique regarding to parametric uncertainties are considered. Simulation results show the advantages and disadvantages of each technique. © 2013 Brazilian Society for Automatics - SBA.

Observer-based control design for switched affine systems and applications to DC-DC converters

This paper deals with the problem of establishing a state estimator for switched affine systems. For that matter, a modification on the Luenberger observer is proposed, the switched Luenberger observer, whose idea is to design one output gain matrix for each mode of the original system. The efficiency of the proposed method relies on a simplification on estimation error which is proved always valid, guaranteeing the estimation error to asymptotically converge to zero, for any initial state and switching law. Next, a dynamic output-dependent switching law is formulated. Then, design methodologies using linear matrix inequalities are proposed, which, to the authors's knowledge, have not yet been applied to this problem. Finally, observers for DC-DC converters are designed and simulated as application examples. © 2013 Brazilian Society for Automatics - SBA.

Context-sensitive analysis of x86 obfuscated executables

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Molecular characterization of accessions of crabgrass (Digitaria nuda) and response to ametryn

Digitaria species are sugar cane crop weeds in Brazil and are being controlled with herbicides, although there are some reports of control failure, notably to the triazine group. Molecular techniques are recommended to analyze the genetic variability in weeds. RAPD (Random Amplified Polymorphic DNA), PCR-RFLP (Polymerase Chain Reaction - Restriction Fragment Length Polymorphism) and, in combination with sequencing, allow the localization of resistance genes, as well as possible mutations related to the onset of resistant individuals in some species. Thus, the objective of this work was to characterize ten accessions of Digitaria spp. by RAPD and PCR-RFLP markers, to sequence a conserved region of the psbA gene and evaluate the accessions response to ametryn. As showed by molecular analysis there was high genetic similarity among the accessions, all of them presented similar genetics profiles and were susceptible to ametryn.