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
Hydrogen generation by subsurface iron mineral transformations. Aim
The aim of this project is to elucidate key factors responsible for natural hydrogen generation in Australian subsurface environments.
Significance
Large amounts of this valuable resource are produced naturally with estimates of production rates of this “gold” hydrogen at least 100 times the annual demand for this critical resource.
Expected Outcomes
Based on improved understanding of the source of natural hydrogen, predictive ....Hydrogen generation by subsurface iron mineral transformations. Aim
The aim of this project is to elucidate key factors responsible for natural hydrogen generation in Australian subsurface environments.
Significance
Large amounts of this valuable resource are produced naturally with estimates of production rates of this “gold” hydrogen at least 100 times the annual demand for this critical resource.
Expected Outcomes
Based on improved understanding of the source of natural hydrogen, predictive tools will be developed that will assist in assessing the viability in Australia of hydrogen exploration and engineered retrieval.
Benefits
Ready access to naturally produced hydrogen could enable Australia to replace hydrogen that is currently generated via the use of unabated hydrocarbons.Read moreRead less