A research programme oriented toward exploring the development of android cognition in the context of a 3D simulation world is described. The simulation world itself, AGISim, is an open-source project built on a game engine, which allows human-controlled and AI-controlled android agents to interact inside a simulated apartment. AGISim has been used for the embodiment of android agents controlle...

Mobile phones have travelled a very long journey in a very short span of time since its inception in 1973. This wonderful toy of 20 century has started playing significant role in people’s life. More than 5 billion mobile users are there around the world and almost 90% of the entire earth is under the mobile coverage now. Today’s smart phones are equipped with numerous features, faster processo...

Mobile malware has been growing in scale and complexity as smartphone usage continues to rise. Android has surpassed other mobile platforms as the most popular whilst also witnessing a dramatic increase in malware targeting the platform. A worrying trend that is emerging is the increasing sophistication of Android malware to evade detection by traditional signature-based scanners. As such, Andr...

Android is a widely used operating system in mobile devices, due to that it is free, open source and easy-to-use. However, the multimedia processing ability of current android is quite limited, as the original android multimedia engine OpenCore cannot deal with lots of commonly used video (audio) formats. Recently, several approaches are proposed to enhance the multimedia processing ability and...

Botnets have traditionally been seen as a threat to personal computers; however, the recent shift to mobile platforms resulted in a wave of new botnets. Due to its popularity, Android mobile Operating System became the most targeted platform. In spite of rising numbers, there is a significant gap in understanding the nature of mobile botnets and their communication characteristics. In this pape...

Though there is evidence that presenting Android app permission information to the user in a clear, more contextdependent way can influence mobile phone users in choosing apps that request fewer permissions [4], ultimately users still tend to make poor privacy and security decisions, especially when warnings are unclear or inhibitive [1]. As a result, we believe that code developers should take...

We present our work in using the ACL2 theorem prover to formally model the Android platform and to formally verify Android apps. Our approach allows the verification of the full functional correctness of apps as well as security properties. It also lets us detect or prove the absence of “functional malware”, malicious app functionality that is triggered by complex conditions on state and that c...

Computer networks are used for the easy sharing of data and resources within a closed user group. These networks find use in a plethora of scenarios. This paper describes an App in Android which enables the android devices in a particular Wi-Fi network to join a private wireless network such as an office. Users entitled to use this particular app can share messages and data without using any pa...

Recently, the threat of Android malware is spreading rapidly, especially those repackaged Android malware. Although understanding Android malware using dynamic analysis can provide a comprehensive view, it is still subjected to high cost in environment deployment and manual efforts in investigation. In this study, we propose a static feature-based mechanism to provide a static analyst paradigm ...

Resource leak bugs in Android apps are pervasive and can cause serious performance degradation and system crashes. In recent years, several resource leak detection techniques have been proposed to assist Android developers in correctly managing system resources. Yet, there exist no common bug benchmarks for effectively and reliably comparing such techniques and quantitatively evaluating their s...