Using static analysis for automatic assessment and mitigation of unwanted and malicious activities within Android applications

In the last decade, smartphones have gained widespread usage. Since the advent of online application stores, hundreds of thousands of applications have become instantly available to millions of smart-phone users. Within the Android ecosystem, application security is governed by digital signatures and a list of coarse-grained permissions. However, this mechanism is not fine-grained enough to provide the user with a sufficient means of control of the applications' activities. Abuse of highly sensible private information such as phone numbers without users' notice is the result. We show that there is a high frequency of privacy leaks even among widely popular applications. Together with the fact that the majority of the users are not proficient in computer security, this presents a challenge to the engineers developing security solutions for the platform. Our contribution is twofold: first, we propose a service which is able to assess Android Market applications via static analysis and provide detailed, but readable reports to the user. Second, we describe a means to mitigate security and privacy threats by automated reverse-engineering and refactoring binary application packages according to the users' security preferences.

Collective sampling and analysis of high order tensors for chatroom communications

This work investigates the accuracy and efficiency tradeoffs between centralized and collective (distributed) algorithms for (i) sampling, and (ii) n-way data analysis techniques in multidimensional stream data, such as Internet chatroom communications. Its contributions are threefold. First, we use the Kolmogorov-Smirnov goodness-of-fit test to show that statistical differences between real data obtained by collective sampling in time dimension from multiple servers and that of obtained from a single server are insignificant. Second, we show using the real data that collective data analysis of 3-way data arrays (users x keywords x time) known as high order tensors is more efficient than centralized algorithms with respect to both space and computational cost. Furthermore, we show that this gain is obtained without loss of accuracy. Third, we examine the sensitivity of collective constructions and analysis of high order data tensors to the choice of server selection and sampling window size. We construct 4-way tensors (users x keywords x time x servers) and analyze them to show the impact of server and window size selections on the results.

Phylodynamic analysis of the emergence and epidemiological impact of transmissible defective dengue viruses

Intra-host sequence data from RNA viruses have revealed the ubiquity of defective viruses in natural viral populations, sometimes at surprisingly high frequency. Although defective viruses have long been known to laboratory virologists, their relevance in clinical and epidemiological settings has not been established. The discovery of long-term transmission of a defective lineage of dengue virus type 1 (DENV-1) in Myanmar, first seen in 2001, raised important questions about the emergence of transmissible defective viruses and their role in viral epidemiology. By combining phylogenetic analyses and dynamical modelling, we investigate how evolutionary and ecological processes at the intra-host and inter-host scales shaped the emergence and spread of the defective DENV-1 lineage. We show that this lineage of defective viruses emerged between June 1998 and February 2001, and that the defective virus was transmitted primarily through co-transmission with the functional virus to uninfected individuals. We provide evidence that, surprisingly, this co-transmission route has a higher transmission potential than transmission of functional dengue viruses alone. Consequently, we predict that the defective lineage should increase overall incidence of dengue infection, which could account for the historically high dengue incidence reported in Myanmar in 2001-2002. Our results show the unappreciated potential for defective viruses to impact the epidemiology of human pathogens, possibly by modifying the virulence-transmissibility trade-off, or to emerge as circulating infections in their own right. They also demonstrate that interactions between viral variants, such as complementation, can open new pathways to viral emergence.

How much is that data in the window? Advertising your research data with QUT Library

Queensland University of Technology (QUT) Library offers a range of resources and services to researchers as part of their research support portfolio. This poster will present key features of two of the data management services offered by research support staff at QUT Library. The first service is QUT Research Data Finder (RDF), a product of the Australian National Data Service (ANDS) funded Metadata Stores project. RDF is a data registry (metadata repository) that aims to publicise datasets that are research outputs arising from completed QUT research projects. The second is a software and code registry, which is currently under development with the sole purpose of improving discovery of source code and software as QUT research outputs. RESEARCH DATA FINDER As an integrated metadata repository, Research Data Finder aligns with institutional sources of truth, such as QUT’s research administration system, ResearchMaster, as well as QUT’s Academic Profiles system to provide high quality data descriptions that increase awareness of, and access to, shareable research data. The repository and its workflows are designed to foster better data management practices, enhance opportunities for collaboration and research, promote cross-disciplinary research and maximise the impact of existing research data sets. SOFTWARE AND CODE REGISTRY The QUT Library software and code registry project stems from concerns amongst researchers with regards to development activities, storage, accessibility, discoverability and impact, sharing, copyright and IP ownership of software and code. As a result, the Library is developing a registry for code and software research outputs, which will use existing Research Data Finder architecture. The underpinning software for both registries is VIVO, open source software developed by Cornell University. The registry will use the Research Data Finder service instance of VIVO and will include a searchable interface, links to code/software locations and metadata feeds to Research Data Australia. Key benefits of the project include:improving the discoverability and reuse of QUT researchers’ code and software amongst QUT and the QUT research community; increasing the profile of QUT research outputs on a national level by providing a metadata feed to Research Data Australia, and; improving the metrics for access and reuse of code and software in the repository.

Improving the statistical preparation for measuring soil N2O flux by closed chamber

Nitrous oxide emissions from soil are known to be spatially and temporally volatile. Reliable estimation of emissions over a given time and space depends on measuring with sufficient intensity but deciding on the number of measuring stations and the frequency of observation can be vexing. The question of low frequency manual observations providing comparable results to high frequency automated sampling also arises. Data collected from a replicated field experiment was intensively studied with the intention to give some statistically robust guidance on these issues. The experiment had nitrous oxide soil to air flux monitored within 10 m by 2.5 m plots by automated closed chambers under a 3 h average sampling interval and by manual static chambers under a three day average sampling interval over sixty days. Observed trends in flux over time by the static chambers were mostly within the auto chamber bounds of experimental error. Cumulated nitrous oxide emissions as measured by each system were also within error bounds. Under the temporal response pattern in this experiment, no significant loss of information was observed after culling the data to simulate results under various low frequency scenarios. Within the confines of this experiment observations from the manual chambers were not spatially correlated above distances of 1 m. Statistical power was therefore found to improve due to increased replicates per treatment or chambers per replicate. Careful after action review of experimental data can deliver savings for future work.

Advance transit oriented development typology : case study in Brisbane, Australia

Internationally, transit oriented development (TOD) is characterised by moderate to high density development with diverse land use patterns and well connected street networks centred around high frequency transit stops (bus and rail). Although different TOD typologies have been developed in different contexts, they are based on subjective evaluation criteria derived from the context in which they are built and typically lack a validation measure. Arguably there exist sets of TOD characteristics that perform better in certain contexts, and being able to optimise TOD effectiveness would facilitate planning and supporting policy development. This research utilises data from census collection districts (CCDs) in Brisbane with different sets of TOD attributes measured across six objectively quantified built environmental indicators: net employment density, net residential density, land use diversity, intersection density, cul-de-sac density, and public transport accessibility. Using these measures, a Two Step Cluster Analysis was conducted to identify natural groupings of the CCDs with similar profiles, resulting in four unique TOD clusters: (a) residential TODs, (b) activity centre TODs, (c) potential TODs, and; (d) TOD non-suitability. The typologies are validated by estimating a multinomial logistic regression model in order to understand the mode choice behaviour of 10,013 individuals living in these areas. Results indicate that in comparison to people living in areas classified as residential TODs, people who reside in non-TOD clusters were significantly less likely to use public transport (PT) (1.4 times), and active transport (4 times) compared to the car. People living in areas classified as potential TODs were 1.3 times less likely to use PT, and 2.5 times less likely to use active transport compared to using the car. Only a little difference in mode choice behaviour was evident between people living in areas classified as residential TODs and activity centre TODs. The results suggest that: (a) two types of TODs may be suitable for classification and effect mode choice in Brisbane; (b) TOD typology should be developed based on their TOD profile and performance matrices; (c) both bus stop and train station based TODs are suitable for development in Brisbane.

Predicting shot locations in tennis using spatiotemporal data

Over the past decade, vision-based tracking systems have been successfully deployed in professional sports such as tennis and cricket for enhanced broadcast visualizations as well as aiding umpiring decisions. Despite the high-level of accuracy of the tracking systems and the sheer volume of spatiotemporal data they generate, the use of this high quality data for quantitative player performance and prediction has been lacking. In this paper, we present a method which predicts the location of a future shot based on the spatiotemporal parameters of the incoming shots (i.e. shot speed, location, angle and feet location) from such a vision system. Having the ability to accurately predict future short-term events has enormous implications in the area of automatic sports broadcasting in addition to coaching and commentary domains. Using Hawk-Eye data from the 2012 Australian Open Men's draw, we utilize a Dynamic Bayesian Network to model player behaviors and use an online model adaptation method to match the player's behavior to enhance shot predictability. To show the utility of our approach, we analyze the shot predictability of the top 3 players seeds in the tournament (Djokovic, Federer and Nadal) as they played the most amounts of games.

Joint identification of infinite-frequency added mass and fluid-memory models of marine structures

This paper addresses the problem of joint identification of infinite-frequency added mass and fluid memory models of marine structures from finite frequency data. This problem is relevant for cases where the code used to compute the hydrodynamic coefficients of the marine structure does not give the infinite-frequency added mass. This case is typical of codes based on 2D-potential theory since most 3D-potential-theory codes solve the boundary value associated with the infinite frequency. The method proposed in this paper presents a simpler alternative approach to other methods previously presented in the literature. The advantage of the proposed method is that the same identification procedure can be used to identify the fluid-memory models with or without having access to the infinite-frequency added mass coefficient. Therefore, it provides an extension that puts the two identification problems into the same framework. The method also exploits the constraints related to relative degree and low-frequency asymptotic values of the hydrodynamic coefficients derived from the physics of the problem, which are used as prior information to refine the obtained models.

Effect of vertical misalignment of adjacent sleepers on the increase in dynamic loads around rail joints

In spite of the extensive usage of continuous welded rails, a number of rail joints still exist in the track. Although a number of them exist as part of turnouts in the yards where the speed is not of concern, the Insultated Rail Joints (IRJs) that exist in ballasted tracks remain a source of significant impact loading. A portion of the dynamic load generated at the rail joints due to wheel passage is transmitted to the support system which leads to permanent settlements of the ballast layer with subsequent vertical misalignment of the sleepers around the rail joints. The vertical misalignment of the adjacent sleepers forms a source of high frequency dynamic load raisers causing significant maintenance work including localised grinding of railhead around the joint, re-alignment of the sleepers and/or ballast tamping or track component renewals/repairs. These localised maintenance activities often require manual inspections and disruptions to the train traffic loading to significant costs to the rail industry. Whilst a number of studies have modelled the effect of joints as dips, none have specifically attended to the effect of vertical misalignment of the sleepers on the dynamic response of rail joints. This paper presents a coupled finite element track model and rigid body track-vehicle interaction model through which the effects of vertical of sleepers on the increase in dynamic loads around the IRJ are studied. The finite element track model is employed to determine the generated dip from elastic deformations as well as the vertical displacement of sleepers around the joint. These data (dip and vertical misalignments) are then imported into the rigid body vehicle-track interaction model to calculate the dynamic loads.

Upregulated MT1-MMP/TIMP-2 axis in the TSU-Pr1-B1/B2 model of metastatic progression in transitional cell carcinoma of the bladder

Muscle invasive transitional cell carcinoma (TCC) of the bladder is associated with a high frequency of metastasis, resulting in poor prognosis for patients presenting with this disease. Models that capture and demonstrate step-wise enhancement of elements of the human metastatic cascade on a similar genetic background are useful research tools. We have utilized the transitional cell carcinoma cell line TSU-Pr1 to develop an in vivo experimental model of bladder TCC metastasis. TSU-Pr1 cells were inoculated into the left cardiac ventricle of SCID mice and the development of bone metastases was monitored using high resolution X-ray. Tumor tissue from a single bone lesion was excised and cultured in vitro to generate the TSU-Pr1-B1 subline. This cycle was repeated with the TSU-Pr1-B1 cells to generate the successive subline TSU-Pr1-B2. DNA profiling and karyotype analysis confirmed the genetic relationship of these three cell lines. In vitro, the growth rate of these cell lines was not significantly different. However, following intracardiac inoculation TSU-Pr1, TSU-Pr1-B1 and TSU-Pr1-B2 exhibited increasing metastatic potential with a concomitant decrease in time to the onset of radiologically detectable metastatic bone lesions. Significant elevations in the levels of mRNA expression of the matrix metalloproteases (MMPs) membrane type 1-MMP (MT1-MMP), MT2-MMP and MMP-9, and their inhibitor, tissue inhibitor of metalloprotease-2 (TIMP-2), across the progressively metastatic cell lines, were detected by quantitative PCR. Given the role of MT1-MMP and TIMP-2 in MMP-2 activation, and the upregulation of MMP-9, these data suggest an important role for matrix remodeling, particularly basement membrane, in this progression. The TSU-Pr1-B1/B2 model holds promise for further identification of important molecules.

Impact forces at dipped rail joints

Impact forces develop at the wheel/rail interface due to the presence of defects in the running surface of the wheel and/ or the railhead. This paper reports on wheel impacts, caused by permanently dipped rail joints, that are characterised by high-frequency impact forces generated by high amplifications of the static load that occur for a very short duration (P1 forces), followed by relatively low frequency, lower amplitude forces (P2 forces) that occur for a longer duration. These impact forces are affected by the design of components adjacent to the wheel and rail, namely the bogie’s primary suspension and rail seat pads; the influences of stiffness and damping characteristics of these components are investigated. A modified three-dimensional simulation model of the dynamics of the wagon/track system that includes defects in the track is created and is used to obtain the time series of the impact force. This is converted into impact force factors that are compared with a set of field-measured data reported in the literature. A simplified equation for the determination of impact force factors due to dipped rail joints is also proposed and validated.

Evidence for an Auditory Fovea in the New Zealand Kiwi (Apteryx mantelli).

Kiwi are rare and strictly protected birds of iconic status in New Zealand. Yet, perhaps due to their unusual, nocturnal lifestyle, surprisingly little is known about their behaviour or physiology. In the present study, we exploited known correlations between morphology and physiology in the avian inner ear and brainstem to predict the frequency range of best hearing in the North Island brown kiwi. The mechanosensitive hair bundles of the sensory hair cells in the basilar papilla showed the typical change from tall bundles with few stereovilli to short bundles with many stereovilli along the apical-to-basal tonotopic axis. In contrast to most birds, however, the change was considerably less in the basal half of the epithelium. Dendritic lengths in the brainstem nucleus laminaris also showed the typical change along the tonotopic axis. However, as in the basilar papilla, the change was much less pronounced in the presumed high-frequency regions. Together, these morphological data suggest a fovea-like overrepresentation of a narrow high-frequency band in kiwi. Based on known correlations of hair-cell microanatomy and physiological responses in other birds, a specific prediction for the frequency representation along the basilar papilla of the kiwi was derived. The predicted overrepresentation of approximately 4-6 kHz matches potentially salient frequency bands of kiwi vocalisations and may thus be an adaptation to a nocturnal lifestyle in which auditory communication plays a dominant role.

Turbulence measurements in a shallow tidal estuary : analysis based on triple decomposition

In an estuary, mixing and dispersion are the result of the combination of large scale advection and small scale turbulence which are both complex to estimate. A field study was conducted in a small sub-tropical estuary in which high frequency (50 Hz) turbulent data were recorded continuously for about 48 hours. A triple decomposition technique was introduced to isolate the contributions of tides, resonance and turbulence in the flow field. A striking feature of the data set was the slow fluctuations which exhibited large amplitudes up to 50% the tidal amplitude under neap tide conditions. The triple decomposition technique allowed a characterisation of broader temporal scales of high frequency fluctuation data sampled during a number of full tidal cycles.

High-resolution GNSS-tracked drifter for studying surface dispersion in shallow water

The use of GNSS tracked Lagrangian drifters allows more realistic quantification of fluid motion and dispersion coefficients than Eulerian techniques because such drifters are analogues of particles that are relevant to flow field characterisation and pollutant dispersion. Using the fast growing Real Time Kinematic (RTK) positioning technique derived from Global Satellite Navigation Systems (GNSS), drifters are developed for high frequency (10 Hz) sampling with position estimates to centimetre accuracy. The drifters are designed with small size and less direct wind drag to follow the sub-surface flow which characterizes dispersion in shallow waters. An analysis of position error from stationary observation indicates that the drifter can efficiently resolve motion up to 1 Hz. The result of the field deployments of the drifter in conjunction with acoustic Eulerian devices shows higher estimate of the drifter streamwise velocities. Single particle statistical analysis of field deployments in a shallow estuarine zone yielded dispersion coefficients estimate comparable to those of dye tracer studies. The drifters capture the tidal elevation during field studies in a tidal estuary.

fMRI evidence of word frequency and strength effects in recognition memory

We used event-related fMRI to investigate the neural correlates of encoding strength and word frequency effects in recognition memory. At test, participants made Old/New decisions to intermixed low (LF) and high frequency (HF) words that had been presented once or twice at study and to new, unstudied words. The Old/New effect for all hits vs. correctly rejected unstudied words was associated with differential activity in multiple cortical regions, including the anterior medial temporal lobe (MTL), hippocampus, left lateral parietal cortex and anterior left inferior prefrontal cortex (LIPC). Items repeated at study had superior hit rates (HR) compared to items presented once and were associated with reduced activity in the right anterior MTL. By contrast, other regions that had shown conventional Old/New effects did not demonstrate modulation according to memory strength. A mirror effect for word frequency was demonstrated, with the LF word HR advantage associated with increased activity in the left lateral temporal cortex. However, none of the regions that had demonstrated Old/New item retrieval effects showed modulation according to word frequency. These findings are interpreted as supporting single-process memory models proposing a unitary strength-like memory signal and models attributing the LF word HR advantage to the greater lexico-semantic context-noise associated with HF words due to their being experienced in many pre-experimental contexts.