Security analysis is a crucial concern in the design of hardware and software systems, yet there is a distinct lack of automated methodologies. In this paper, we remedy this situation for the verification of software countermeasure implementations. In this context, verifying the security of a protected implementation against side-channel attacks corresponds to assessing whether any particular l...

A model-driven approach with domain-specific modeling languages (DSLs) aims to support both, the transparency of modeling processes and the reusability of simulation models in computer-based system analysis. However, in contrast to general-purpose programming languages used as modeling languages, a single DSL is not expressive enough to formalize all necessary aspects of computer-based system a...

We used the SLEUTH urban growth model, closely coupled with a land transition model, to simulate future urban growth in the Houston metropolitan area, one of the fastest growing metropolises in the United States during the past three decades. The model was calibrated with historical data extracted from a time series of satellite images. Three specific scenarios are designed to simulate the spat...

Submit Manuscript | http://medcraveonline.com Abbreviations: AVAs: Arteriovenous Anastomoses; HR: Heart Rate; RH: Relative Humidity; Ta: Ambient Temperature; Tre: Rectal Temperature; Tsk: Skin Temperature; Tes: Esophageal Temperature; CONT: Control Experiment; OCCL: Occlusion Experiment; Msw: Local Sweating Rate; LDF: Skin Blood Flow; MAP: Mean Arterial Pressure; TPR: Total Peripheral Resistanc...

Data collected in Run II of the Fermilab Tevatron are searched for indications of new electroweak-scale physics. Rather than focusing on particular new physics scenarios, CDF data are analyzed for discrepancies with the Standard Model prediction. A model-independent approach (Vista) considers gross features of the data, and is sensitive to new large crosssection physics. Further sensitivity to ...