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
A hierarchical quantum mechanical and classical simulation of biological ion channels. I aim to develop a methodology incorporating molecular quantum
mechanics and classical Brownian mechanics in a way that can be
applied practically to large macromolecular systems, thus relating
fine structural details to experimentally measurable
properties. Specifically, I will apply this methodology to study ion
channels in which the challenge is to relate electronic and atomic
structure to the conduct ....A hierarchical quantum mechanical and classical simulation of biological ion channels. I aim to develop a methodology incorporating molecular quantum
mechanics and classical Brownian mechanics in a way that can be
applied practically to large macromolecular systems, thus relating
fine structural details to experimentally measurable
properties. Specifically, I will apply this methodology to study ion
channels in which the challenge is to relate electronic and atomic
structure to the conductance properties of the channel. Accurately
determining these relationships provides a pathway to developing cures
for many neurological, cardiac, and muscular diseases.
Read moreRead less