Thermodynamics inversion for mineral systems. This project aims to provide a newly developed science approach to the Australian Lithospheric Architecture Magnetotelluric Project (AusLAMP). AusLAMP provides unparalleled geophysical information aimed at unravelling the tectonic history of the Australian continent and its mineral potential. The project will use thermodynamically based geodynamic simulators to jointly analyse and quantify intraplate deformation. This will illuminate the cause of dri ....Thermodynamics inversion for mineral systems. This project aims to provide a newly developed science approach to the Australian Lithospheric Architecture Magnetotelluric Project (AusLAMP). AusLAMP provides unparalleled geophysical information aimed at unravelling the tectonic history of the Australian continent and its mineral potential. The project will use thermodynamically based geodynamic simulators to jointly analyse and quantify intraplate deformation. This will illuminate the cause of driving fluid flow thorough the lithosphere, mineralisation phenomena, their datasets and geometries, and dynamic aspects of the processes driving mineral systems.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
ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By ge ....ARC Research Network for Enabling Human Communication. The Human Communication Network promotes interdisciplinary research in speech, language, and sound by and between humans and machines. The network connects leading and emerging researchers across disciplines, exploits previously unrecognised intersections, supports interdisciplinary graduate training and exchanges, provides database storage infrastructure, and consults with industry and government to set, not follow, research agendas. By generating an explosion of new approaches and knowledge, the network will build Australia's reputation as a leader in communication science and technology via advances in automatic speech recognition, distress call monitoring, hearing prostheses, web interfaces, and data retrieval and data mining systems.Read moreRead less