The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, top ....The architecture of networks: Characterisation and visualisation of complex systems as fluctuating networks. Complex systems comprise many mutually interacting components, characterised by a range of different interactions over time and space. They are dynamical systems, whose features are reminiscent of a web, with fluctuating links of varying strengths. The natural paradigm for such systems is a generic network, or a graph. A suite of novel measures from statistical physics, graph theory, topology, geometry, and computer graphics will be developed to characterise system/graph growth and stability. The aim is two-fold: first to reduce real complex systems (mainly financial systems) to computationally manageable structures (including direct visualisation) and second to construct realistic models of the evolution of such systems.Read moreRead less
Cascades of Violence and Nonviolence. Why did the Arab Spring spread so fast? Why did so many communist regimes collapse so quickly in 1989? This project explains why tactics of violence and of nonviolence cause contagion. It develops a new evidence-based theory of how to contain cascades of violence and accelerate contagions of nonviolence to create a less violent world.
Automated internet warnings to prevent viewing of minor-adult sex images. Since the advent of the internet and digital cameras, the market for child exploitation material (CEM) has boomed. This project aims to explore how the visual appearance of warning messages influences internet users. It plans to conduct a randomised controlled experiment with naïve participants on a real-life website to test the effectiveness of messages designed to discourage viewers of legal ‘barely legal’ pornography. I ....Automated internet warnings to prevent viewing of minor-adult sex images. Since the advent of the internet and digital cameras, the market for child exploitation material (CEM) has boomed. This project aims to explore how the visual appearance of warning messages influences internet users. It plans to conduct a randomised controlled experiment with naïve participants on a real-life website to test the effectiveness of messages designed to discourage viewers of legal ‘barely legal’ pornography. It is anticipated that results will assist policing efforts by indicating whether warnings can be used to dissuade first-time CEM viewers and whether differences exist between harm or deterrent-focused messages.Read moreRead less
Aboriginal and non-Aboriginal sex-offenders in Australia: Assessing risk for practice and policy. A key priority of Australian governments is to improve community safety through reducing the risk of sex offenders re-offending after release from prison. This project will assess the validity of tools used to predict the risk of sexual offender recidivism and identify alternate risk assessment tools for Indigenous and non-Indigenous sex offenders.
Optimising illicit dark net marketplace interventions. Optimising illicit dark net marketplace interventions. This project aims to develop and test a series of interventions to disrupt identify theft activities, and design an operational risk framework that will aid law enforcement agencies and organisations to timely and appropriately intervene in cyber space. The buying and selling of identity credentials via dark net forums is a significant and growing problem. This research— based on systems ....Optimising illicit dark net marketplace interventions. Optimising illicit dark net marketplace interventions. This project aims to develop and test a series of interventions to disrupt identify theft activities, and design an operational risk framework that will aid law enforcement agencies and organisations to timely and appropriately intervene in cyber space. The buying and selling of identity credentials via dark net forums is a significant and growing problem. This research— based on systems analyses of dark net forums, and bringing together researchers, practitioners, theories and methods from human factors, sociotechnical systems, criminology, and cyber security—is expected to increase understanding of the dark net and improve ways of disrupting identity theft and trading.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less
Preventing gendered violence: lessons from the global south. This project aims to study the establishment of police stations for women in Argentina as a key element to preventing gendered violence. This project aims to discover the extent to which the Argentinian interventions prevent the occurrence of gendered violence, and identify aspects that could inform the development of new approaches to preventing gendered violence in Australia. Anticipated outcomes include knowledge critical to develo ....Preventing gendered violence: lessons from the global south. This project aims to study the establishment of police stations for women in Argentina as a key element to preventing gendered violence. This project aims to discover the extent to which the Argentinian interventions prevent the occurrence of gendered violence, and identify aspects that could inform the development of new approaches to preventing gendered violence in Australia. Anticipated outcomes include knowledge critical to developing and implementing new ways to prevent gendered violence, with long-term benefits for national health, wellbeing and productivity.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Criminal services and the role of place in transnational crime in Asia. Criminal service hubs in Asia facilitate transnational crimes that impact on Australia. The project will explore the nature of these hubs and analyse their relationships to the mobility, activities and longevity of criminal networks. Understanding what makes a crime hub and how criminals use them will create new opportunities for the prevention of serious crime.
Reducing young women’s offending through improved service delivery . Young women’s contact with justice and welfare agencies has increased rapidly across Australia and the world, creating a crisis that is costly and harmful, especially for young Indigenous women. Pathways into these systems are gendered; but the systems were designed to address the needs of young male offenders. This project therefore aims to discover how these systems could be better designed to improve outcomes for young women ....Reducing young women’s offending through improved service delivery . Young women’s contact with justice and welfare agencies has increased rapidly across Australia and the world, creating a crisis that is costly and harmful, especially for young Indigenous women. Pathways into these systems are gendered; but the systems were designed to address the needs of young male offenders. This project therefore aims to discover how these systems could be better designed to improve outcomes for young women. The project uses a novel approach that gives young women a voice in how five Anglicare end-users (the research partners) and other end-users can enhance their service provision in the welfare and justice sectors and become models of best practice.Read moreRead less