Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level arch ....Audit Security Models for Multiparty Internet Transactions. The aim of this project is to conduct the study for a secure, low overhead means of auditing secure transactions between two parties over the Internet, especially where some doubt surrounds the trustfulness of the other party.
A study will be conducted in this project by investigating security models for multiparty secure transactions in order to identify a number of likely applications for the technology, to develop a high level architecture of the solution.Read moreRead less
Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
Special Research Initiatives - Grant ID: SR0354880
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Building trust in Australia's infrastructure: dealing with scientific, technological, business, policy and legal issues in information security. Australia is faced with the challenge of engendering trust in, and protecting, the information systems vital to the economic and social development of the nation. This initiative will produce a national direction for research, development and educational activities in information security with particular emphasis on the protection of the national intere ....Building trust in Australia's infrastructure: dealing with scientific, technological, business, policy and legal issues in information security. Australia is faced with the challenge of engendering trust in, and protecting, the information systems vital to the economic and social development of the nation. This initiative will produce a national direction for research, development and educational activities in information security with particular emphasis on the protection of the national interest. It will do so by bringing together for the first time, academic, government and business people from a vast array of backgrounds, and whose interests lie across a spectrum of commercial, legal, policy and research outcomes.Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE130100614
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Novel statistical algorithms and methods to quantify and partition pleiotropy between complex traits in populations. A fundamental question in biology is how common genetic effects are shared between traits or groups. For example, is cognition or human behaviour genetically identical across genders or across human population groups? This project will address these questions using multiple independent genome-wide association studies.
Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordi ....Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordinating these lower-level "skills". Such languages allow development of sophisticated robot controllers. We aim to develop a cognitive robotics language capable of controlling robots in real-time and in a multi-agent setting requiring coordination among agents.Read moreRead less
Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlyin ....Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlying biological and biomedical processes, bringing sustainable discovery of new relationships and variations within the data. The project aims to support new approaches to medical diagnosis and treatment, and offer crucial lessons to address the broader challenge of understanding large, complex data sets.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150100576
Funder
Australian Research Council
Funding Amount
$346,000.00
Summary
Taking sides: Assessing the partiality of international peacekeeping. This project aims to examine an enduring question for peacekeeping: should United Nations peacekeepers take sides between conflict parties, or should they remain impartial brokers that assist combatants to find their own peace settlement? Detailed comparison of six decades of peacekeeping will advance both the theory and practice of peacekeeping by understanding and explaining a striking gap between the long-standing principle ....Taking sides: Assessing the partiality of international peacekeeping. This project aims to examine an enduring question for peacekeeping: should United Nations peacekeepers take sides between conflict parties, or should they remain impartial brokers that assist combatants to find their own peace settlement? Detailed comparison of six decades of peacekeeping will advance both the theory and practice of peacekeeping by understanding and explaining a striking gap between the long-standing principle of impartiality and the frequent, controversial practice of taking sides. By conducting the first systematic study of partiality in peacekeeping and evaluating the effectiveness of this practice, the project aims to contribute new data, theoretical tools and policy proposals for building international peace and stability.Read moreRead less
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will a ....'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will also deepen our understanding of the underlying mathematics of such systems, and of other mathematical foundations of economic research. One application will be a new measure of the relative power resulting from voting rules. Such measures assist the design of democratic institutions by allowing the designer to assess the fairness of the outcomes they produce.Read moreRead less