An algebraic analysis of trivium ciphers based on the boolean satisfiability problem

Trivium is a stream cipher candidate of the eStream project. It has successfully moved into phase three of the selection process under the hardware category. No attacks faster than the exhaustive search have so far been reported on Trivium. Bivium-A and Bivium-B are simplified versions of Trivium that are built on the same design principles but with two registers. The simplified design is useful in investigating Trivium type ciphers with a reduced complexity and provides insight into effective attacks which could be extended to Trivium. This paper focuses on an algebraic analysis which uses the boolean satisfiability problem in propositional logic. For reduced variants of the cipher, this analysis recovers the internal state with a minimal amount of keystream observations.

Design of a tangible data visualization

In this paper we describe the design of DNA Jewellery, which is a wearable tangible data representation of personal DNA profile data. An iterative design process was followed to develop a 3D form-language that could be mapped to standard DNA profile data, with the aim of retaining readability of data while also producing an aesthetically pleasing and unique result in the area of personalized design. The work explores design issues with the production of data tangibles, contributes to a growing body of research exploring tangible representations of data and highlights the importance of approaches that move between technology, art and design.

Reframe at a glance

Reframe is changing our approach to the evaluation of courses, units, teaching and student experience at QUT. This graphic image represents the evaluation framework and its purpose in a single page.

Practical aspects of frequency-domain identification of dynamic models of marine structures from hydrodynamic data

The motion response of marine structures in waves can be studied using finite-dimensional linear-time-invariant approximating models. These models, obtained using system identification with data computed by hydrodynamic codes, find application in offshore training simulators, hardware-in-the-loop simulators for positioning control testing, and also in initial designs of wave-energy conversion devices. Different proposals have appeared in the literature to address the identification problem in both time and frequency domains, and recent work has highlighted the superiority of the frequency-domain methods. This paper summarises practical frequency-domain estimation algorithms that use constraints on model structure and parameters to refine the search of approximating parametric models. Practical issues associated with the identification are discussed, including the influence of radiation model accuracy in force-to-motion models, which are usually the ultimate modelling objective. The illustration examples in the paper are obtained using a freely available MATLAB toolbox developed by the authors, which implements the estimation algorithms described.

Culturally inclusive design in a multicultural society

Multiculturalism in design advocates that people's belief and cultures should be placed at the centre of design processes and designers should be capable of addressing cultural diversity in multiple ways of thinking. However, contemporary design discourses seem not to be philosophically inclusive and practically applicable in mulriculmral contexts. This paper theoretically reviews three predominant metaphysical conceptual thinking frameworks: Dualism, Monism and Holism in many multicultural societies and argue a possibility of the culturally inclusive design.

Dry tropics water smart : a community based approach to residential outdoor water consumption

This paper discusses the Townsville City Council Dry Tropics Water Smart (DTWS) initiative, developed by TCC Integrated Sustainability Services (ISS) and Townsville Water, and informed by The University of Adelaide. The program draws on many years of experience by the TCC team to blend key community-based research approaches in order to develop this residential outdoor water conservation program. Several community pilots have been conducted to test different behaviour change strategies and messages. This paper outlines recent steps taken to develop the community trials, as guided by a combination of behaviour change theories including community-based social marketing and thematic communications methods. Some preliminary results are outlined focused on community uptake of different strategies, community perceptions of communication materials, and some insights into the effectiveness of outdoor water hardware.