Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated ....Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated and a prototype implementation provided. The project will combine the expertise in electronic voting schemes at QUT with that of Dr Lee.Read moreRead less
Secure Electronic Voting with Flexible Ballot Structure. It is inevitable that electronic voting will eventually replace current paper based voting schemes. Despite considerable research no secure solution is available for an electronic voting scheme allowing complex election rules, such as preferential voting used in Australia. The main outcome of the research will be the fundamental knowledge required to develop general secure and flexible electronic voting schemes. The security aspects of the ....Secure Electronic Voting with Flexible Ballot Structure. It is inevitable that electronic voting will eventually replace current paper based voting schemes. Despite considerable research no secure solution is available for an electronic voting scheme allowing complex election rules, such as preferential voting used in Australia. The main outcome of the research will be the fundamental knowledge required to develop general secure and flexible electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated and a prototype implementaion provided.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
Towards Engineering Behavioural Research Design Systems. Behavioural research is a significant component of the annual spend in Australia on research and development. It is contended that 'best practice' behavioural research methods can be more systematised, transparent and visible; facilitating more complex, integrated and holistic research designs; and thereby, more cumulative and comparable results; thus enabling increased rigor, higher productivity and lower risk than have generally been the ....Towards Engineering Behavioural Research Design Systems. Behavioural research is a significant component of the annual spend in Australia on research and development. It is contended that 'best practice' behavioural research methods can be more systematised, transparent and visible; facilitating more complex, integrated and holistic research designs; and thereby, more cumulative and comparable results; thus enabling increased rigor, higher productivity and lower risk than have generally been the experience historically. This project proposes the formal conceptualisation and modelling of behavioural science research methods, by adapting them to the research design, the well understood concepts, tools and techniques of Information Systems design. Results are expected to form the conceptual basis of 'Research Design Systems.'Read moreRead less
Automated bioinformatic analysis of vertical and lateral gene transmission among microbial genomes. Genetic information is transmitted "vertically" from parents to offspring within species. Biologists have long assumed that this mechanism, extrapolated far into the past, explains the distribution of genes among genomes, thus the potential properties of all phenomes. But genome sequences show that some, perhaps many, genes have been transmitted "laterally" between species. We are building a uniqu ....Automated bioinformatic analysis of vertical and lateral gene transmission among microbial genomes. Genetic information is transmitted "vertically" from parents to offspring within species. Biologists have long assumed that this mechanism, extrapolated far into the past, explains the distribution of genes among genomes, thus the potential properties of all phenomes. But genome sequences show that some, perhaps many, genes have been transmitted "laterally" between species. We are building a unique automated computer-based system to find all instances of lateral transmission in all microbial genomes, using rigorous methods. Our results will be important both fundamentally and practically, e.g. in explaining sets and dynamics of phenomic traits, and quantifying background levels of "natural genetic engineering".Read moreRead less
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
Girls and Information Communication Technology (ICT) Career Pathways: Tackling the Upper Middle School 'Turn Off'. This project aims to develop strategic responses to factors associated with girls forming such negative perceptions of Information Communication Technology during their upper middle school years that they overwhelmingly reject Information Communication Technology as an option for advanced study and future careers. This project will contribute towards Australia's National Research Pr ....Girls and Information Communication Technology (ICT) Career Pathways: Tackling the Upper Middle School 'Turn Off'. This project aims to develop strategic responses to factors associated with girls forming such negative perceptions of Information Communication Technology during their upper middle school years that they overwhelmingly reject Information Communication Technology as an option for advanced study and future careers. This project will contribute towards Australia's National Research Priority 3 of building and transforming frontier technologies to maximize creative, technological capability by collaboratively developing a strategic model for responding to factors identified as 'turning girls off Information Communication Technology'.Read moreRead less
Developing informed and integrated strategies to address low female participation rates in professional Information Communication Technologies careers and pathways. This project proposes collaborative research to address low rates of female participation in Information Communication Technology professional occupations and education pathways - involving academic researchers and personnel from Education Queensland and Queensland based ICT companies . A comprehensive Queensland data set will be gen ....Developing informed and integrated strategies to address low female participation rates in professional Information Communication Technologies careers and pathways. This project proposes collaborative research to address low rates of female participation in Information Communication Technology professional occupations and education pathways - involving academic researchers and personnel from Education Queensland and Queensland based ICT companies . A comprehensive Queensland data set will be generated by surveying and interviewing female Year 11-12 students and ICT professionals, and analysed with industry partner involvement. Results will provide the basis for developing new and coordinated strategic approaches among education systems, ICT industry, and universities to improving school programs and enhancing female participation rates. This is necessary for addressing projected skill shortfalls and maximising talent pools available to industry.
Read moreRead less
A unique driver assessment tool to improve four wheel drive and sedan driving competencies. Four wheel drive (4WD) sales are booming in Australia. 4WD occupant fatalities occurring in rollovers are over represented in Australian's road crashes. This is a unique project using advanced technology to assess behavioural risks associated with the use of 4WDs and inexperienced drivers. It builds a novel, integrated computer-based screening tool to provide objective and reliable driver training assessm ....A unique driver assessment tool to improve four wheel drive and sedan driving competencies. Four wheel drive (4WD) sales are booming in Australia. 4WD occupant fatalities occurring in rollovers are over represented in Australian's road crashes. This is a unique project using advanced technology to assess behavioural risks associated with the use of 4WDs and inexperienced drivers. It builds a novel, integrated computer-based screening tool to provide objective and reliable driver training assessments with the aim of (i) reducing crashes relating to inexperience and specific 4WD crashes and (ii) recommending public policy with regard to 4WD behavioural risks and driver training.Read moreRead less