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
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