I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks

Picking on the family: disrupting android malware triage by forcing misclassification

Machine learning classification algorithms are widely applied to different malware analysis problems because of their proven abilities to learn from examples and perform relatively well with little human input. Use cases include the labelling of malicious samples according to families during triage of suspected malware. However, automated algorithms are vulnerable to attacks. An attacker could carefully manipulate the sample to force the algorithm to produce a particular output. In this paper we discuss one such attack on Android malware classifiers. We design and implement a prototype tool, called IagoDroid, that takes as input a malware sample and a target family, and modifies the sample to cause it to be classified as belonging to this family while preserving its original semantics. Our technique relies on a search process that generates variants of the original sample without modifying their semantics. We tested IagoDroid against RevealDroid, a recent, open source, Android malware classifier based on a variety of static features. IagoDroid successfully forces misclassification for 28 of the 29 representative malware families present in the DREBIN dataset. Remarkably, it does so by modifying just a single feature of the original malware. On average, it finds the first evasive sample in the first search iteration, and converges to a 100% evasive population within 4 iterations. Finally, we introduce RevealDroid*, a more robust classifier that implements several techniques proposed in other adversarial learning domains. Our experiments suggest that RevealDroid* can correctly detect up to 99% of the variants generated by IagoDroid

Comparison of plantar pressure distribution with the x-ray morphology of the foot skeleton

Hintergrund: Die Metatarsalgie ist ein sehr heterogenes Krankheitsbild mit vielfältigen Ursachen. Als zugrunde liegender Pathomechanismus wird eine übermäßige plantare Druckbelastung im Bereich der Metatarsalköpfchen beziehungsweise eine Überlastung einzelner Metatarsalköpfchen bei verändertem Vorfußalignment angenommen. Operative Techniken zielen durch entsprechende Verkürzungs- oder Umstellungsosteotomien auf einen Druckausgleich ab und liefern diesbezüglich unterschiedliche, zum Teil widersprüchliche Ergebnisse. In dieser Studie soll geklärt werden inwieweit von der Röntgenmorphologie des Fußskeletts auf die Belastungsverhältnisse im Vorfußbereich geschlossen werden kann. Insgesamt ist diese Thematik bisher selten untersucht und unzureichend geklärt. Methodik: Primär erfolgte die Einteilung in eine Patientengruppe, 46 Füße mit Metatarsalgie, und 40 asymptomatische Füße als Vergleichskollektiv. In belasteten dorsoplantaren Röntgenaufnahmen wurden der Metatarsalindex (Plus-Minus-Index und Maestroindex) und der Intermetatarsale-1/2-Winkel gemessen und dementsprechend zum Vergleich Untergruppen gebildet. Die plantare Druckverteilung wurde durch dynamische Messungen im Gehen unter Verwendung des Emed-x/R Systems der Firma Novel bestimmt und hinsichtlich Spitzendruck, Druck-Zeit-Integral, Maximalkraft und Kraft-Zeit-Integral unter den Metatarsalköpfchen mit der Röntgenmorphologie verglichen. Ergebnisse: Es fand sich ein deutlicher Zusammenhang zwischen der zu MT1 relativen Länge von MT2 und der plantaren Druckverteilung im Sinne einer Belastungssteigerung unter MH2 bei verlängertem Metatarsale 2. Die übrigen Metatarsallängen schienen kaum Auswirkung auf die plantaren Druckverhältnisse zu haben. Des Weiteren bewirkte ein großer Intermetatarsalwinkel tendenziell eine Belastungssteigerung unter MH2 und Minderung unter MH1. Insgesamt fanden sich bei gesunden Füßen weniger ausgeprägte Zusammenhänge. Im Vergleich zu gesunden war bei Füßen mit Metatarsalgie die Belastung im zentralen Vorfußbereich deutlich erhöht, der Intermetatarsalwinkel vergrößert und unerwartet das erste Metatarsale länger als das zweite. Diskussion: Die Resultate zeigten übereinstimmend, dass die individuelle Struktur des Fußskeletts beziehungsweise eine Abweichung im Sinne eines auffälligen Metatarsalindex mit Überlängen einzelner Metatarsalia oder ein großer Intermetatarsalwinkel nur teilweise die Entstehung von Metatarsalgien erklärt. Sie stellt lediglich eine Komponente im Zusammenspiel von Weichgewebe, Ballenarchitektur, Kapsel-Band-Strukturen und muskulären Wechselwirkungen dar. Die durch biomechanische Hebelwirkung bei Fehlstellungen des Fußskeletts entstehenden Kräfte gewinnen erst bei vorgeschädigtem Fuß an Einfluss. Ein gesunder Fuß scheint in der Lage Besonderheiten des Fußskeletts auszugleichen. Eine große interindividuelle Variabilität der plantaren Druckverteilung suggeriert eine große Spannbreite an physiologischen Druckwerten mit der Schwierigkeit die Grenze zum Pathologischen zu definieren.Comparison of plantar pressure distribution with the x-ray morphology of the foot skeleto

Multifractal subgrid-scale modeling within a variational multiscale method for large-eddy simulation of turbulent flow

Multifractal subgrid-scale modeling within a variational multiscale method is proposed for large-eddy simulation of turbulent flow. In the multifractal subgrid-scale modeling approach, the subgrid-scale velocity is evaluated from a multifractal description of the subgrid-scale vorticity, which is based on the multifractal scale similarity of gradient fields in turbulent flow. The multifractal subgrid-scale modeling approach is integrated into a variational multiscale formulation, which constitutes a new application of the variational multiscale concept. A focus of this study is on the application of themultifractal subgrid-scalemodeling approach to wall-bounded turbulent flow. Therefore, a near-wall limit of themultifractal subgrid-scalemodeling approach is derived in this work. The novel computational approach of multifractal subgrid-scale modeling within a variational multiscale formulation is applied to turbulent channel flow at two different Reynolds numbers, turbulent flow over a backward-facing step and turbulent flow past a square-section cylinder, which are three of the most important and widely-used benchmark examples for wall-bounded turbulent flow. All results presented in this study confirm a very good performance of the proposed method. Compared to a dynamic Smagorinsky model and a residual-based variational multiscale method, improved results are obtained. The computational cost is notably reduced compared to a dynamic Smagorinsky model and only marginally increased compared to a residual-based variational multiscale method

An extended residual-based variational multiscale method for two-phase flow including surface tension

In this study, an extended residual-based variational multiscale method is proposed for two-phase flow. The extended residual-based variational multiscale method combines a residual-based form of the variational multiscale method and the extended finite element method (XFEM). By extending the solution spaces, it is possible to reproduce discontinuities of the solution fields inside elements intersected by the interface. In particular, we propose a quasi-static enrichment to reproduce time-dependent discontinuities. To capture the interface between the phases on a fixed grid, a level-set approach is used. A residual-based variational multiscale method is employed for computing both flow and interface motion. The presented method is tested for various two-phase flow examples exhibiting small and large density and viscosity ratios, with the focus on a kink enrichment of both velocity and pressure: a two-phase Couette flow, a Rayleigh-Taylor instability, a sloshing tank and a three-dimensional rising bubble. To the best of our knowledge, these are the first simulation results for representative time-dependent three-dimensional two-phase flow problems using an extended finite element method. Stable and accurate results are obtained for all test examples