Continuous after-the-fact leakage-resilient eCK-secure key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to capture the security of AKE protocols even when the adversary learns certain secret values. Increased granularity of security can be modelled by considering partial leakage of secrets in the manner of models for leakage-resilient cryptography, designed to capture side-channel attacks. In this work, we use the strongest known partial-leakage-based security model for key exchange protocols, namely continuous after-the-fact leakage eCK (CAFL-eCK) model. We resolve an open problem by constructing the first concrete two-pass leakage-resilient key exchange protocol that is secure in the CAFL-eCK model.

Rockhampton's Resilient Future Design Charrette

The QUT Centre for Subtropical Design conducted a design-led interdisciplinary collaborative workshop (charrette) to develop some initial ideas for how innovation in research and practice can be applied to the complex problem of resilient future-focussed urban renewal in Rockhampton’s flood-prone suburbs and core grid. Three creative teams explored a range of scenarios for Rockhampton’s resilience in built form over the longer term. A large number of sketches, drawings and text were produced over two days. This report identifies themes, principles and strategies which emerged from the charrette. Each group proposed multiple guiding principles that fell into three strategic approaches: defend (through construction of a levee); adapt (by designing with flood in mind); retreat (a long term view to relocate populations in flood-prone areas). All three groups identified the importance of design that accommodates art, heritage, recreation, sustainability and tourism, and proposed these as principles to guide future strategies that mediate between Rockhampton’s broader ecological landscape and urban living to accommodate more affordable housing options, demonstrate sustainability and be climate responsive to predicted increased extreme weather events including flooding. The charrette outcomes pave the way to investigate wider issues and solutions to Rockhampton’s resilient future, beyond a levee as an isolated structure.

Carbon grazing: Managing carbon flows for resilient pasture in variable climate

Work with consultants to help graziers understand implications of carbon in their pastures.

Guest editorial: Urban nature for resilient and liveable cities

It is a transforming experience to imagine that in 50 years, our current built environment might look as foreign to our grandchildren as the computers of the 1960s look to us today. We can already see emerging attempts to create cities that are resilient and liveable in the face of physical stresses including population growth, increasing climate variability, resource shortages and pollution. The capacity for transforming every aspect of development towards resilience and liveability goals is profoundly exciting, from heating and cooling through to energy generation, water reticulation, food production, transportation, communication and recreational spaces...

FREP: A Soft-Error Resilient Pipelined RISC Architecture

Soft error has become one of the major areas of attention with the device scaling and large scale integration. Lot of variants for superscalar architecture were proposed with focus on program re-execution, thread re-execution and instruction re-execution. In this paper we proposed a fault tolerant micro-architecture of pipelined RISC. The proposed architecture, Floating Resources Extended pipeline (FREP), re-executes the instructions using extended pipeline stages. The instructions are re-executed by hybrid architecture with a suitable combination of space and time redundancy.

Resilient internet connectivity at Myerscough College

Myerscough College, a land-based further and higher education college in the north west, is one of the approximately 160 further education colleges in England to take additional connections to Jisc’s Janet network. Ian Brown, director of IT and MIS at the college, talks to us about why they’ve taken an extra four connections.

Case study: Transforming the digital environment - resilient and robust systems and services

Case study on how City of Liverpool College is taking radical steps to transform their digital environment, their services and business processes to bridge the digital skills gap between college leavers and the expectations of employers.

Resilient livelihoods and food security in coastal aquatic agricultural systems: Investing in transformational change

Aquatic agricultural systems (AAS) are diverse production and livelihood systems where families cultivate a range of crops, raise livestock, farm or catch fish, gather fruits and other tree crops, and harness natural resources such as timber, reeds, and wildlife. Aquatic agricultural systems occur along freshwater floodplains, coastal deltas, and inshore marine waters, and are characterized by dependence on seasonal changes in productivity, driven by seasonal variation in rainfall, river flow, and/or coastal and marine processes. Despite this natural productivity, the farming, fishing, and herding communities who live in these systems are among the poorest and most vulnerable in their countries and regions. This report provides an overview of the scale and scope of development challenges in coastal aquatic agricultural systems, their significance for poor and vulnerable communities, and the opportunities for partnership and investment that support efforts of these communities to secure resilient livelihoods in the face of multiple risks.