Dynalog: an automated dynamic analysis framework for characterizing android applications

Android is becoming ubiquitous and currently has the largest share of the mobile OS market with billions of application downloads from the official app market. It has also become the platform most targeted by mobile malware that are becoming more sophisticated to evade state-of-the-art detection approaches. Many Android malware families employ obfuscation techniques in order to avoid detection and this may defeat static analysis based approaches. Dynamic analysis on the other hand may be used to overcome this limitation. Hence in this paper we propose DynaLog, a dynamic analysis based framework for characterizing Android applications. The framework provides the capability to analyse the behaviour of applications based on an extensive number of dynamic features. It provides an automated platform for mass analysis and characterization of apps that is useful for quickly identifying and isolating malicious applications. The DynaLog framework leverages existing open source tools to extract and log high level behaviours, API calls, and critical events that can be used to explore the characteristics of an application, thus providing an extensible dynamic analysis platform for detecting Android malware. DynaLog is evaluated using real malware samples and clean applications demonstrating its capabilities for effective analysis and detection of malicious applications.

Improving the Performance of Database-Centric Applications Through Program Analysis

Thesis (Ph.D, Computing) -- Queen's University, 2016-09-30 09:55:51.506

An alternative multi-region BEM technique for three-dimensional elastic problems

The main objective of this work is to present an alternative boundary element method (BEM) formulation for the static analysis of three-dimensional non-homogeneous isotropic solids. These problems can be solved using the classical boundary element formulation, analyzing each subregion separately and then joining them together by introducing equilibrium and displacements compatibility. Establishing relations between the displacement fundamental solutions of the different domains, the alternative technique proposed in this paper allows analyzing all the domains as one unique solid, not requiring equilibrium or compatibility equations. This formulation also leads to a smaller system of equations when compared to the usual subregion technique, and the results obtained are even more accurate. (C) 2008 Elsevier Ltd. All rights reserved.

Transport-Regional Equity Issue Revisited

Almeida E. S. de, Haddad E. A. and Hewings G. J. D. Transport-regional equity issue revisited, Regional Studies. The objective of this paper is to analyse the relationship between transport and regional equity in Minas Gerais, Brazil. Furthermore, the existence of a trade-off between economic performance and regional equity is investigated as well. To do so, the paper develops a spatial computable general equilibrium model based on Brocker and Schneider`s approach of 2002 to implement comparative static analysis, explicitly incorporating iceberg transportation costs. Four activities are modelled, namely production, final demand, transportation and exports. Two production factors are assumed: labour and other factors. The model has 12 domestic regions and three external regions. Four counterfactual experiments are developed based on decreases in transportation costs due to a `distance shortening`. The main findings indicate that if the transport infrastructure improvement is focused only among poor regions, the promotion of regional equity is insignificant. If the transport infrastructure improvement links are concentrated among rich regions, there is an increase in regional income inequalities. However, if the improvements are targeted to the roads linking poor regions and rich ones, there is greater promotion of regional equity. The same result will occur when improvements are made to all road links of the state. [image omitted] Almeida E. S. de, Haddad E. A. et Hewings G. J. D. La question du rapport entre le transport et l`equilibre regional vue sous un jour nouveau, Regional Studies. Cet article cherche a analyser le rapport entre le transport et l`equilibre regional en Minas Gerais au Bresil. En outre, on examine la presence d`un echange entre la performance economoique et l`equilibre regional. Pour le faire, on construit un modele geographique de l`equilibre general a utiliser sur ordinateur fonde sur l`approche de Brockner et Schneider en 2002 afin de mettre en oeuvre une analyse statique comparative qui comprend explicitement les frais de transport iceberg. On modelise quatre activites, a savoir, la production, la demande finale, le transport et l`exportation. On fait deux suppositions quant aux facteurs de production: la main-d`oevre et d`autres facteurs. Le modele embrasse douze regions internes et trois regions externes. On fait quatre experiences paradoxales fondees sur la baisse des frais de transport due a une `reduction des distances`. Les principaux resultats indiquent que si l`amelioration de l`equipement de transport ne porte que sur les regions defavorisees, la promotion de l`equilibre regional s`avere negligeable. Si l`amelioration de l`equipement de transport focalise les regions riches, il s`avere un creusement des ecarts des revenus regionaux. Cependant, si les ameliorations ciblent les routes qui relient les regions defavorisees aux regions riches, il s`avere une plus grande promotion de l`equilibre regional. Il en va de meme pour la situation ou on a apporte des amenagements a toutes les liaisons routieres de l`etat. Modele geographique de l`equilibre general a utiliser sur ordinateur Equilibre regional Peformance economique Frais de transport Almeida E. S. de, Haddad E. A. und Hewings G. J. D. Die Wiederaufnahme der Frage von Verkehrswesen im Verhaltnis zu regionaler Fairness, Regional Studies. Dieser Aufsatz beabsichtigt, die Beziehung zwischen Verkehrswesen und regionaler Fairness in Minas Gerais (Brasilien) zu analysieren und zugleich auch das Vorkommen von Einbussen entweder bei wirtschaftlicher Leistung der regionaler Fairness zu untersuchen. Zu diesem Zwecke wird ein auf dem Ansatz von Brocker und Schneider (2002) aufbauendes raumliches komputables allgemeines Gleichgewichtsmodell entwickelt, um vergleichende statistische Analysen durchzufuhren, wobei verborgene `Eisberg`-Transportkosten ausdrucklich berucksichtigt werden. Es werden vier Unternehmenstatigk eiten aufgefuhrt: Herstellung, Nachfrage, Transportwesen und Exporte, und zwei Produktionsfaktoren vorausgesetzt: Arbeitskrafte und andere Faktoren. Das Modell umfasst zwolf Inlandsregionen und drei externe Regionen. Es werden vier gegensatzliche Experimente entwickelt, die auf einer Abnahme der Transportkosten infolge einer `Verkurzung der Entfernungen` beruhen. Die Hauptbefunde weisen darauf hin, dass die Forderung regionaler Fairness unbedeutend bleibt, wenn die Verbesserungen der Transportinfrastruktur sich nur auf minderbemittelte Regionen konzentrieren; werden die Verbesserungen der Verbindungen der Transportinfrastruktur in wohlhabenden Regionen durchgefuhrt, so nehmen regionale Einkommensunterschiede zu. Wenn die Verbesserungen jedoch auf Strassen abzielen, die wohlhabende Regionen mit weniger bemittelten verbinden, wird regionale Fairness starker gefordert. Das gleiche Ergebnis wird sich einstellen, wenn Verbesserungen an allen Strassenverbindungen des Staates vorgenommen werden. Raumliches, komputables, allgemeines Gleichgewichtsmodell Regionale Fairness Wirtschaftsleistung Transportkosten Almeida E. S. de, Haddad E. A. y Hewings G. J. D. Revisando el tema de la igualdad del transporte en las regiones, Regional Studies. El objetivo de este documento es analizar la relacion entre el transporte y la igualdad regional en Minas Gerais, Brasil. Asimismo investigamos la existencia de una compensacion entre el rendimiento economico y la igualdad regional. Para ello desarrollamos un modelo de equilibrio general computable y espacial basado en el enfoque de Brocker y Schneider en 2002 para hacer un analisis estatico y comparativo, explicitamente incorporando los costes ocultos de transporte. Se modelan cuatro actividades: la produccion, la demanda final, el transporte y las exportaciones. Suponemos que existen dos factores de produccion: mano de obra y otros factores. En este modelo, existen doce regiones internas y tres regiones externas. Desarrollamos cuatro experimentos contrafactuales basados en la disminucion de los costes de transporte debido a una `acortamiento de las distancias`. Los principales resultados indican que si la mejora de la infraestructura del transporte se centra solo entre las regiones mas pobres, el fomento de la igualdad regional es insignificante. Si los enlaces de la mejora de la infraestructura del transporte se concentran en las regiones ricas, aumentan las desigualdades de ingresos regionales. Sin embargo, si se mejoran los enlaces de carreteras entre las regiones pobres y ricas, se fomenta mejor la igualdad regional. El mismo resultado ocurre cuando se mejoran los enlaces de todas las carreteras del estado. Modelo de equilibrio general computable y espacial Igualdad regional Rendimiento economico Costes de transporte.

A curva de Phillips no Brasil e a política de metas de inflação : uma análise da evolução do trade-off durante o período 1980-2010

Diante de uma discussão não consensual a respeito da existência ou não de um trade-off entre inflação e desemprego (curva de Phillips), esta dissertação analisa a evolução desta relação na economia brasileira no período 1980-2010 através de duas análises diferentes: A primeira é uma análise considerada estática, realizada com a utilização de uma regressão linear simples. A segunda consiste em uma análise dinâmica, onde é utilizada uma regressão com coeficientes time-varying, com a estimação dos coeficientes sendo realizada com a aplicação do filtro de Kalman. Os resultados econométricos mostraram que a relação entre inflação e desemprego de fato se alterou ao longo do período analisado: A curva de Phillips se torna horizontal após o Plano Real e fica levemente positiva após o Regime de Metas de Inflação. Sendo assim, este trabalho basicamente se divide em duas partes: A primeira consiste de uma contextualização teórica da relação entre inflação e desemprego e do regime de metas de inflação. A segunda parte traz a análise econométrica, onde é descrita a evolução do trade-off. Diante dos resultados encontrados, são apresentadas suas possíveis causas e é realizada uma análise qualitativa da atual política monetária praticada pelo Banco Central do Brasil.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Comporta de vigas: dimensionamento e análise estrutural

As comportas de vigas de fundo, objecto de estudo no presente trabalho, são essenciais devido à sua capacidade de controlo do fluxo de água em casos de emergência. Assim este trabalho visou o dimensionamento e análise estrutural de uma comporta dessa natureza. Para o seu dimensionamento foi essencial a norma DIN19704-1:1998, que define todos os padrões que devem ser levados em conta numa construção hidráulica em aço. Deste modo, após uma breve descrição do enquadramento e do estado da arte relativamente a este assunto, foram apresentados ao longo do trabalho, os cálculos dos principais componentes mecânicos que fazem parte dum projecto de uma comporta de vigas. Para comprovar a validade do dimensionamento da comporta realizado através da norma, recorreu-se a um software de análise e simulação por elementos finitos, COSMOSWorks, no sentido de assim prever o comportamento mecânico em análise estática linear, que as solicitações mecânicas em presença têm sobre a comporta. Os resultados da comparação entre o dimensionamento teórico e a análise de tensões através do COSMOSWorks nos elementos mais críticos da estrutura, permitem concluir globalmente que a comporta está bem dimensionada tendo em conta os esforços que tem de suportar.

Licensing endogenous cost-reduction in a differentiated Stackelberg model

In this paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a two-part tariff. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results. We also do a direct comparison between our model and Cournot duopoly model.

Viabilidade do reforço sísmico de um edifício de pequeno porte em alvenaria de pedra ordinária

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Análise estática não linear de um edifício em betão armado

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A study on the modeling of sandwich functionally graded particulate composites

Dual-phase functionally graded materials are a particular type of composite materials whose properties are tailored to vary continuously, depending on its two constituent's composition distribution, and which use is increasing on the most diverse application fields. These materials are known to provide superior thermal and mechanical performances when compared to the traditional laminated composites, exactly because of this continuous properties variation characteristic, which enables among other advantages smoother stresses distribution profile. In this paper we study the influence of different homogenization schemes, namely the schemes due to Voigt, Hashin-Shtrikman and Mod-Tanaka, which can be used to obtain bounds estimates for the material properties of particulate composite structures. To achieve this goal we also use a set of finite element models based on higher order shear deformation theories and also on first order theory. From the studies carried out, on linear static analyses and on free vibration analyses, it is shown that the bounds estimates are as important as the deformation kinematics basis assumed to analyse these types of multifunctional structures. Concerning to the homogenization schemes studied, it is shown that Mori-Tanaka and Hashin-Shtrikman estimates lead to less conservative results when compared to Voigt rule of mixtures.

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.