Discovery Projects - Grant ID: DP190103743

Funding Activity

Website
https://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP190103743

Funding Status
Active

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2019

End Date: 30-06-2023

Funding Scheme: Discovery Projects

Funding Amount: $660,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Operating Systems | Computational Logic and Formal Languages | Computer Software |

ANZSRC Socio-Economic Objective (SEO)

Internet Hosting Services (incl. Application Hosting Services) | Application Tools and System Utilities

Other Keywords

Application Tools and System Utilities | Computational Logic and Formal Languages | Computer Software | Internet Hosting Services (incl. Application Hosting Services) | Operating Systems

Related Links