Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of el ....Cryptographic Protocols: Proofs and Designs. Cryptographic protocols are the foundation for protection of the critical electronic communications infrastructure on which much of commerce and industry rely. They will increasingly be required in emerging technologies such as ad-hoc wireless networks and sensor networks. This project will provide the ability to design new and efficient protocols with a mathematical guarantee of security. The resulting practical protocols will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users.Read moreRead less
Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Throu ....Cryptographic Protocols from Pairings: Proofs and Designs. Modern society has become critically dependent on information and communications infrastructures. At the same time, the development of e-commerce is being slowed by lack of confidence in its security. By providing increased assurance and enhanced cryptographic security protocols this research will improve the dependability of the nation's information and communications infrastructure, as well as encourage the growth of e-commerce. Through the expertise and experience gained with this project, Australia's excellence in information security research will be reinforced. The training of PhD and Honours students will provide a much needed source of highly trained information security professionals.Read moreRead less
New Insights on Modelling Time Trends with Panel Data: Theory and Practice. This project aims to tackle important challenges in time trend modelling by taking advantage of panel data structures. This project expects to propose flexible models in time trend modelling to retrieve reliable inference. The expected outcomes include innovative econometric models and methods that have a wide range of applications, and are particularly suited for empirical problems within large and complex systems. This ....New Insights on Modelling Time Trends with Panel Data: Theory and Practice. This project aims to tackle important challenges in time trend modelling by taking advantage of panel data structures. This project expects to propose flexible models in time trend modelling to retrieve reliable inference. The expected outcomes include innovative econometric models and methods that have a wide range of applications, and are particularly suited for empirical problems within large and complex systems. This will provide significant benefits to all fields in which data displays any form of trending behaviour. The proposed model is used to evaluate the economic consequences of climate change and global housing market contagion, which provide strong evidence-based insights to the environmental and economic policies in Australia.Read moreRead less
Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic ....Algebraic Models of Stream Ciphers. The project investigates communication security in the mobile environment where both confidentiality and authenticity are of a prime concern. Stream ciphers are a natural choice in mobile environments as they provide an efficient cryptographic protection using a limited computing resources. We treat stream ciphers as algebraic objects whose properties fully determine their cryptographic strength. We first analyse existing stream ciphers showing their algebraic properties and later we derive a design methodology for provably secure stream ciphers. The project leads to new secure and efficient designs for stream ciphers that are the preferred cryptographic tools used in Australian industry.Read moreRead less
Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach ....Algebraic Analysis of Cryptosystems. This project studies an (new) algebraic approach to cryptanalysis of modern block ciphers. The approach works for all cryptosystems that use either small S-boxes, or their algebraic structure can be described by a system of overdefined quadratic equations. The cryptosystems that are potentially breakable using this approach are Rijndael and Serpent - the two top finalists of the Advanced Encryption Standard contest. The project also explores how this approach can be applied to design new and more powerful factoring algorithms. The project has an explosive potential to redefine the theory and practice of modern cryptography.Read moreRead less
Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linea ....Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linear scaling electronic structure codes, methods that are critical to the study of nano- and bio-materials, and are therefore of great importance to our economic future and medical well being. The project will build expertise within Australia in the area of interval arithmetic, an area that is currently poorly represented.Read moreRead less
Identification and inference in nonparametric models. This project will develop reliable methods for identification, estimation and inference of nonparametric models for the evaluation of economic policies on outcome variables of interest. This econometric methodology will allow a better understanding of the quantitative effects of an economic policy which will result in better informed policy decisions. The results will have applications to labour market policies, health care policies and educa ....Identification and inference in nonparametric models. This project will develop reliable methods for identification, estimation and inference of nonparametric models for the evaluation of economic policies on outcome variables of interest. This econometric methodology will allow a better understanding of the quantitative effects of an economic policy which will result in better informed policy decisions. The results will have applications to labour market policies, health care policies and education policies among others. The project will also provide national benefits in terms of building up the local stock of researchers trained in the area of identification and estimation of nonparametric models; it will further improve the international reputation that Australia has in econometric theory.Read moreRead less
Inequality of opportunity in Australia. This project aims to develop econometric approaches for identifying opportunity gaps in Australia and other developed countries. Inequality of opportunity arises when the birth lottery or external factors in later life, rather than personal efforts, determine a person’s chances of economic success. A high level of inequality of opportunity holds people back from realising their potential and from contributing productively to society. The project will focus ....Inequality of opportunity in Australia. This project aims to develop econometric approaches for identifying opportunity gaps in Australia and other developed countries. Inequality of opportunity arises when the birth lottery or external factors in later life, rather than personal efforts, determine a person’s chances of economic success. A high level of inequality of opportunity holds people back from realising their potential and from contributing productively to society. The project will focus on the effect of inequality of opportunity on income, health and education with special emphasis placed on Indigenous and migrant populations. The findings should help formulate cost-efficient policy interventions aimed at levelling the economic playing field.Read moreRead less
Literacy and Numeracy, Schooling, Neighbourhoods and Labour Market Success. Our research will assess the role of literacy and numeracy in explaining the educational attainment and labour markets outcomes of young Australians, after accounting for background characteristics and school and neighbourhood effects. By exploiting differences in Australian jurisdictions? school structures, it will enable, for the first time, the direct estimation of the effect of schooling on literacy and numeracy. T ....Literacy and Numeracy, Schooling, Neighbourhoods and Labour Market Success. Our research will assess the role of literacy and numeracy in explaining the educational attainment and labour markets outcomes of young Australians, after accounting for background characteristics and school and neighbourhood effects. By exploiting differences in Australian jurisdictions? school structures, it will enable, for the first time, the direct estimation of the effect of schooling on literacy and numeracy. This will clarify the role of literacy and numeracy in subsequent decisions to acquire more human capital through education. This will enable more precise estimates of the contribution of literacy and numeracy to subsequent labour market outcomes achieved by young Australians.Read moreRead less
Data retrieval from massive information structures. Information search is an essential tool. But most current services regard the data as unstructured collections of independent documents, free of context. Next-generation search applications, such as over social networks, or corporate websites, or XML data sets, must account for the inherent relationships between data items, and must allow the efficient inclusion of search context. Queries should favour semantically local data, giving results th ....Data retrieval from massive information structures. Information search is an essential tool. But most current services regard the data as unstructured collections of independent documents, free of context. Next-generation search applications, such as over social networks, or corporate websites, or XML data sets, must account for the inherent relationships between data items, and must allow the efficient inclusion of search context. Queries should favour semantically local data, giving results that depend on the perceived state of the querier. This project will develop indexing and search techniques for massive structured data sets. The new search methods will incorporate theoretical advances and will be experimentally validated using industry-standard open-source distributed systems.Read moreRead less