The pervasiveness of Android mobile applications and the services they support allow the
personal data of individuals to be collected and shared worldwide. However, data protection …

Abstract The General Data Protection Regulation (GDPR) aims to ensure that all personal
data processing activities are fair and transparent for the European Union (EU) citizens …

Numerous static taint analysis techniques have recently been proposed for identifying
information flows in mobile applications. These techniques are often optimized and …

We present a refined segmentation abstract domain for the analysis of strings in the C
programming language, properly extending the parametric segmentation approach to array …

A formal translation of CIL (ie,. Net) bytecode into Java bytecode is introduced and proved
sound with respect to the language semantics. The resulting code is then analyzed with …

A formal translation of CIL (ie,. Net) bytecode into Java bytecode is introduced and proved
sound with respect to the language semantics. The resulting code is then analyzed with …

Increase in the number of online released music tracks means there is a need to improve the
performance of existing Music Information Retrieval (MIR) systems, eg, music search engine …

Dynamic Taint Analysis (DTA) technique has been developed for analysis and
understanding behavior of Android applications and privacy policy enforcement. Meanwhile …

The huge increase in the usage of mobile devices has led to the need of sophisticated
optimization techniques in order to minimize energy wastage. In this paper we analyze …

As one of the most prominent threat, information leakages usually take sensitive data from
some private sources and improperly release the data through malicious or misused method …