Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Virtual Environments for Improved Enterprise Software Deployment. This project aims to improve quality assurance for enterprise IT. Enterprise IT systems are highly interconnected and interdependent — a failure in one system can cause a cascade of failures across multiple systems, bringing business to a standstill. The project aims to create new technologies to automate the provisioning of virtual deployment environments to test the enterprise systems. In particular, it aims to develop new metho ....Virtual Environments for Improved Enterprise Software Deployment. This project aims to improve quality assurance for enterprise IT. Enterprise IT systems are highly interconnected and interdependent — a failure in one system can cause a cascade of failures across multiple systems, bringing business to a standstill. The project aims to create new technologies to automate the provisioning of virtual deployment environments to test the enterprise systems. In particular, it aims to develop new methods for the automatic analysis of service interaction traces and the generation of accurate executable service models, without requiring explicit knowledge of them. The automatic analysis and generation should reduce development cost for enterprise IT systems and increase system quality and reliability. The new software deployment technologies from this project aim to significantly reduce the time, effort and cost of system quality assurance activities in software development organisations, and yet produce higher-quality software leading to uninterrupted business operation in end-user organisations across all sectors.Read moreRead less
Special Research Initiatives - Grant ID: SR0566976
Funder
Australian Research Council
Funding Amount
$50,000.00
Summary
eScience and Climate: Using Grid technology to build capacity in studies of Australian climate variability. Australia possesses capability in the area of palaeoclimate modelling, but efforts to understand our past natural climate variations are hampered by the computational profligacy of such models. Further, Australia does not possess a capability in intermediate complexity models which would allow experiments that take account of tectonic time scales. This initiative aims to develop a framewor ....eScience and Climate: Using Grid technology to build capacity in studies of Australian climate variability. Australia possesses capability in the area of palaeoclimate modelling, but efforts to understand our past natural climate variations are hampered by the computational profligacy of such models. Further, Australia does not possess a capability in intermediate complexity models which would allow experiments that take account of tectonic time scales. This initiative aims to develop a framework to allow the integration of climate system models with grid computing approaches (such as Nimrod/G) and test this framework on a pilot study of the Australian palaeomonsoon system. In addition, we will use this initiative to develop international linkages to enhance our ability to address problems of importance to Australian natural climate variability.Read moreRead less
Towards full lifecycle privacy protection on cloud. Privacy protection in user data on cloud is now at risk throughout all stages of user information lifecycle facing significant challenges such as stage adaptive protection, across-system protection, privacy invasion tracing and prediction. Current approaches mainly focus on a specific case at certain stage, hence cannot address those challenges properly by considering all stages. This project aims to systematically investigate those challenges ....Towards full lifecycle privacy protection on cloud. Privacy protection in user data on cloud is now at risk throughout all stages of user information lifecycle facing significant challenges such as stage adaptive protection, across-system protection, privacy invasion tracing and prediction. Current approaches mainly focus on a specific case at certain stage, hence cannot address those challenges properly by considering all stages. This project aims to systematically investigate those challenges and expects to establish innovative research and solutions for enabling full lifecycle privacy protection on cloud. The project outcomes will help to safeguard Australian community in fast-growing online cyber world, and benefit to fast-growing privacy sensitive data hosting and applications on cloud.Read moreRead less
Effective privacy protection for smart metering data on cloud. Privacy in smart metering data on cloud is at risk because analysis of such data can reveal user privacy such as daily lifestyle. Current privacy protection approaches lack effectiveness because they omit some privacy leakage cases or cannot be applied to metering data which is collected continuously. This project aims to systematically investigate significant challenges in the effectiveness and expects to establish innovative resear ....Effective privacy protection for smart metering data on cloud. Privacy in smart metering data on cloud is at risk because analysis of such data can reveal user privacy such as daily lifestyle. Current privacy protection approaches lack effectiveness because they omit some privacy leakage cases or cannot be applied to metering data which is collected continuously. This project aims to systematically investigate significant challenges in the effectiveness and expects to establish innovative research and solutions for enabling effective privacy protection in smart metering data on cloud. The project outcomes aims to safeguard Australian home community with pervasive deployment of smart meters and data on cloud, and benefit fast-growing privacy sensitive data hosting and applications on cloud.Read moreRead less
Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This pr ....Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This project aims to develop a continuous authentication approach based on user behaviour - typical interactions plus biometrics (for example, keystroke dynamics) - combined with a risk adaptive assessment of the resources being accessed, resulting in re-authentication requests in the event of a suspected compromise.Read moreRead less
Secure and efficient data leak prevention on cloud. The leak of sensitive data on cloud not only poses serious threats to both public and private organisations but also puts their employees and clients at risk, e.g., economic loss and social impact. The aim of this project is to develop a secure and efficient solution that can detect and prevent leak of data in real-time. Uniquely, the proposed research will develop novel techniques that can monitor data leak security incidents happening over ti ....Secure and efficient data leak prevention on cloud. The leak of sensitive data on cloud not only poses serious threats to both public and private organisations but also puts their employees and clients at risk, e.g., economic loss and social impact. The aim of this project is to develop a secure and efficient solution that can detect and prevent leak of data in real-time. Uniquely, the proposed research will develop novel techniques that can monitor data leak security incidents happening over time and captured by different sensors and identify correlations between historic security incidents and current data attacks. This project will significantly help to secure data on cloud for organisations in Australia and benefit fast-growing security sensitive data hosting and applications on cloud.Read moreRead less
Data-driven Approach to Resilient Online Service Systems. This project aims to develop a data-driven approach to improving the resilience of online service systems. Many software systems are now provided as online services via the Internet on a 24/7 basis. Although a lot of effort has been devoted to service quality assurance, in reality, online service systems still encounter many incidents and fail to satisfy user requests. This project expects to develop innovative data-driven methods for eff ....Data-driven Approach to Resilient Online Service Systems. This project aims to develop a data-driven approach to improving the resilience of online service systems. Many software systems are now provided as online services via the Internet on a 24/7 basis. Although a lot of effort has been devoted to service quality assurance, in reality, online service systems still encounter many incidents and fail to satisfy user requests. This project expects to develop innovative data-driven methods for effective fault identification, fault localization, and failure prediction. Expected outcomes of this project include novel techniques and tools for maintaining online service systems. This project will provide significant benefits, such as improving the resilience and reliability of our cyber infrastructure.Read moreRead less
Effective and efficient protection of personal privacy in big personal data. Personal privacy protection is becoming increasingly important as personal data is increasingly being hosted in cloud servers, accumulating as big personal data. This project aims to develop innovative solutions for effective and efficient to address the issue of protection of personal privacy. Current approaches are neither effective nor efficient, and lack robustness. The project is expected to enhance theoretical fou ....Effective and efficient protection of personal privacy in big personal data. Personal privacy protection is becoming increasingly important as personal data is increasingly being hosted in cloud servers, accumulating as big personal data. This project aims to develop innovative solutions for effective and efficient to address the issue of protection of personal privacy. Current approaches are neither effective nor efficient, and lack robustness. The project is expected to enhance theoretical foundation of personal privacy protection in big data and cloud, and deliver an effective and efficient personal privacy protection framework with associated algorithms and prototype. These outcomes will help to protect fast-growing privacy sensitive personal data hosting and applications on cloud servers.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL190100035
Funder
Australian Research Council
Funding Amount
$3,009,457.00
Summary
Human-centric Model-driven Software Engineering. This project aims to find fundamentally new ways to capture and use human-centric software requirements during model-driven software engineering and verifying that systems meet these requirements. There are major issues with misaligned software applications in terms of accessibility, usability, emotions, personality, age, gender, and culture. This project aims to address these through new conceptual foundations and modelling techniques for their s ....Human-centric Model-driven Software Engineering. This project aims to find fundamentally new ways to capture and use human-centric software requirements during model-driven software engineering and verifying that systems meet these requirements. There are major issues with misaligned software applications in terms of accessibility, usability, emotions, personality, age, gender, and culture. This project aims to address these through new conceptual foundations and modelling techniques for their support during software engineering. The intended outcomes are enhanced theory, models, tools and capability for next-generation software engineering with these critical elements. Significant benefits are expected to include greatly improved software quality, developer productivity and cost savings.Read moreRead less