Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
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
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC230100001
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end ....ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end users with world-leading interdisciplinary researchers to create new human-AV systems, datasets, frameworks, case studies, platforms, and a vastly upskilled workforce. This will reduce transport costs, increase capacity, boost supply chain efficiency and resilience, improve road safety, and elevate Australian capability.Read moreRead less
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
ARC Centre of Excellence for the Digital Child. Our vision is for Australian children to be healthy, educated and connected. This Centre will integrate child health, education, and digital and social connectedness, innovating across disciplines to meet Australia’s ongoing challenges of supporting young children growing up in a rapidly changing digital age. The Centre’s world-leading team investigates children’s digital practices through three interconnected research programs supported by a longi ....ARC Centre of Excellence for the Digital Child. Our vision is for Australian children to be healthy, educated and connected. This Centre will integrate child health, education, and digital and social connectedness, innovating across disciplines to meet Australia’s ongoing challenges of supporting young children growing up in a rapidly changing digital age. The Centre’s world-leading team investigates children’s digital practices through three interconnected research programs supported by a longitudinal family cohort study and children’s technology laboratories. The Centre will address tensions in a contested field to inform government and non-government policy, technology innovation, and develop programs and guidelines for children, families, educators and technology developers. Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH180100002
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Research Hub for Driving Farming Productivity and Disease Prevention. The ARC Research Hub for Driving Farming Productivity and Disease Prevention aims to increase farm production and disease prevention through advancing and transferring new artificial intelligence technologies into industrial deployment. The Hub will combine machine vision, machine learning, software quality control, engineering, biology, and farming industries to develop technologies to build more intelligent systems. Thes ....ARC Research Hub for Driving Farming Productivity and Disease Prevention. The ARC Research Hub for Driving Farming Productivity and Disease Prevention aims to increase farm production and disease prevention through advancing and transferring new artificial intelligence technologies into industrial deployment. The Hub will combine machine vision, machine learning, software quality control, engineering, biology, and farming industries to develop technologies to build more intelligent systems. These dynamic systems will help determine what goal to achieve and the most efficient plan to achieve it. This Hub is expected to contribute to higher farming efficiency, lower production costs and fewer disease risks, giving the Australian industry new business opportunities and an international competitive advantage.Read moreRead less
Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resou ....Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resource management for distributed VPPs. The anticipated benefits from this institutional level collaborations are that VPPs help in enhancing national power grid operations during normal and disruptive conditions when more renewables are connected and also secure benefits of consumers, prosumers, and grid operators.Read moreRead less
DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting th ....DeepHoney: Automatic Honey Data Generation for Active Cyber Defence . This project aims to enhance the security of networks and information systems by empowering them with intelligent deception techniques to achieve proactive attack detection and defence. In recent times, the fictitious environment – honeypot designed by human experience becomes popular to attract attackers and capture their interactions. However, rules-based construction of honeypots fails in preserving the privacy, boosting the attractiveness and evolving the system. The project expects to advance deep learning and yield novel DeepHoney technologies with associated publications and open-source software. This should benefit science, society, and the economy by building the next generation of active cyber defence systems. Read moreRead less