Automated proof for formal indistinguishability and its applications

Bana et al. proposed the relation formal indistinguishability (FIR), i.e. an equivalence between two terms built from an abstract algebra. Later Ene et al. extended it to cover active adversaries and random oracles. This notion enables a framework to verify computational indistinguishability while still offering the simplicity and formality of symbolic methods. We are in the process of making an automated tool for checking FIR between two terms. First, we extend the work by Ene et al. further, by covering ordered sorts and simplifying the way to cope with random oracles. Second, we investigate the possibility of combining algebras together, since it makes the tool scalable and able to cover a wide class of cryptographic schemes. Specially, we show that the combined algebra is still computationally sound, as long as each algebra is sound. Third, we design some proving strategies and implement the tool. Basically, the strategies allow us to find a sequence of intermediate terms, which are formally indistinguishable, between two given terms. FIR between the two given terms is then guaranteed by the transitivity of FIR. Finally, we show applications of the work, e.g. on key exchanges and encryption schemes. In the future, the tool should be extended easily to cover many schemes. This work continues previous research of ours on use of compilers to aid in automated proofs for key exchange.

Gail Sorronda - New York, Paris, London, Sydney

QUT Fine Arts Fashion Design graduate Gail Reid is making a name for herself nationally and internationally. As one of the first QUT graduates to establish and sustain her own label, it begs the question how, why and what's next for her career aspirations.

Luxury fashion: The role of innovation as a key contributing factor in the development of luxury fashion goods and sustainable fashion design

Luxury is a quality that is difficult to define as the historical concept of luxury appears to be both dynamic and culturally specific. The everyday definition explains a ‘luxury’ in relation to a necessity: a luxury (product or service) is defined as something that consumers want rather than need. However, the growth of global markets has seen a boom in what are now referred to as ‘luxury brands’. This branding of products as luxury has resulted in a change in the way consumers understand luxury goods and services. In their attempts to characterize a luxury brand, Fionda & Moore in their article “The anatomy of a Luxury Brand” summarize a range of critical conditions that are in addition to product branding “... including product and design attributes of quality, craftsmanship and innovative, creative and unique products” (Fionda & Moore, 2009). For the purposes of discussing fashion design however, quality and craftsmanship are inseparable while creativity and innovation exist under different conditions. The terms ‘creative’ and ‘innovative’ are often used inter-changeably and are connected with most descriptions of the design process, defining ‘design’ and ‘fashion’ in many cases. Christian Marxt and Fredrik Hacklin identify this condition in their paper “Design, product development, innovation: all the same in the end?”(Marxt & Hacklin, 2005) and suggest that design communities should be aware that the distinction between these terms, whilst once quite definitive, is becoming narrow to a point where they will mean the same thing. In relation to theory building in the discipline this could pose significant problems. Brett Richards (2003) identifies innovation as different from creativity in that innovation aims to transform and implement rather than simply explore and invent. Considering this distinction, in particular relation to luxury branding, may affect the way in which design can contribute to a change in the way luxury fashion goods might be perceived in a polarised fashion market, namely suggesting that ‘luxury’ is what consumers need rather than the ‘pile it high, sell it cheap’ fashion that the current market dynamic would indicate they want. This paper attempts to explore the role of innovation as a key contributing factor in luxury concepts, in particular the relationship between innovation and creativity, the conditions which enable innovation, the role of craftsmanship in innovation and design innovation in relation to luxury fashion products. An argument is presented that technological innovation can be demonstrated as a common factor in the development of luxury fashion product and that the connection between designer and maker will play an important role in the development of luxury fashion goods for a sustainable fashion industry.

Innovation, interaction, and inclusion : heritage luxury brands in collusion with the consumer

Many luxury heritage brands operate on the misconception that heritage is interchangeable with history rather than representative of the emotional response they originally developed in their customer. This idea of heritage as static history inhibits innovation, prevents dynamic renewal and impedes their ability to redefine, strengthen and position their brand in current and emerging marketplaces. This paper examines a number of heritage luxury brands that have successfully identified the original emotional responses they developed in their customers and, through innovative approaches in design, marketing, branding and distribution evoke these responses in contemporary consumers. Using heritage and innovation hand-in-hand, these brands have continued to grow and develop a vision of heritage that incorporates both historical and contemporary ideas to meet emerging customer needs. While what constitutes a ‘luxury’ item is constantly challenged in this era of accessible luxury products, up-scaling and aspirational spending, this paper sees consumers’ emotional needs as the key element in defining the concept of luxury. These emotional qualities consistently remain relevant due to their ability to enhance a positive sense of identity for the brand user. Luxury is about the ‘experience’ not just the product providing the consumer with a sense of enhanced status or identity through invoked feelings of exclusivity, authenticity, quality, uniqueness and culture. This paper will analyse luxury heritage brands that have successfully combined these emotional values with those of their ‘heritage’ to create an aura of authenticity and nostalgia that appeals to contemporary consumers. Like luxury, the line where clothing becomes fashion is blurred in the contemporary fashion industry; however, consumer emotion again plays an important role. For example, clothing becomes ‘fashion’ for consumers when it affects their self perception rather than fulfilling basic functions of shelter and protection. Successful luxury heritage brands can enhance consumers’ sense of self by involving them in the ‘experience’ and ‘personality’ of the brand so they see it as a reflection of their own exclusiveness, authentic uniqueness, belonging and cultural value. Innovation is a valuable tool for heritage luxury brands to successfully generate these desired emotional responses and meet the evolving needs of contemporary consumers. While traditionally fashion has been a monologue from brand to consumer, new technology has given consumers a voice to engage brands in a conversation to express their evolving needs, ideas and feedback. As a result, in this consumer-empowered era of information sharing, this paper defines innovation as the ability of heritage luxury brands to develop new design and branding strategies in response to this consumer feedback while retaining the emotional core values of their heritage. This paper analyses how luxury heritage brands can effectively position themselves in the contemporary marketplace by separating heritage from history to incorporate innovative strategies that will appeal to consumer needs of today and tomorrow.

Innovation, interaction, and inclusion : heritage luxury brands in collusion with the consumer

Many luxury heritage brands operate on the misconception that heritage is interchangeable with history rather than representative of the emotional response they originally developed in their customer. This idea of heritage as static history inhibits innovation, prevents dynamic renewal and impedes their ability to redefine, strengthen and position their brand in current and emerging marketplaces. This paper examines a number of heritage luxury brands that have successfully identified the original emotional responses they developed in their customers and, through innovative approaches in design, marketing, branding and distribution evoke these responses in contemporary consumers. Using heritage and innovation hand-in-hand, these brands have continued to grow and develop a vision of heritage that incorporates both historical and contemporary ideas to meet emerging customer needs. While what constitutes a ‘luxury’ item is constantly challenged in this era of accessible luxury products, up scaling and aspirational spending, this paper sees consumers’ emotional needs as the key element in defining the concept of luxury. These emotional qualities consistently remain relevant due to their ability to enhance a positive sense of identity for the brand user. Luxury is about the ‘experience’ not just the product providing the consumer with a sense of enhanced status or identity through invoked feelings of exclusivity, authenticity, quality, uniqueness and culture. This paper will analyse luxury heritage brands that have successfully combined these emotional values with those of their ‘heritage’ to create an aura of authenticity and nostalgia that appeals to contemporary consumers. Like luxury, the line where clothing becomes fashion is blurred in the contemporary fashion industry; however, consumer emotion again plays an important role. For example, clothing becomes ‘fashion’ for consumers when it affects their self perception rather than fulfilling basic functions of shelter and protection. Successful luxury heritage brands can enhance consumers’ sense of self by involving them in the ‘experience’ and ‘personality’ of the brand so they see it as a reflection of their own exclusiveness, authentic uniqueness, belonging and cultural value. Innovation is a valuable tool for heritage luxury brands to successfully generate these desired emotional responses and meet the evolving needs of contemporary consumers. While traditionally fashion has been a monologue from brand to consumer, new technology has given consumers a voice to engage brands in a conversation to express their evolving needs, ideas and feedback. As a result, in this consumer-empowered era of information sharing, this paper defines innovation as the ability of heritage luxury brands to develop new design and branding strategies in response to this consumer feedback while retaining the emotional core values of their heritage. This paper analyses how luxury heritage brands can effectively position themselves in the contemporary marketplace by separating heritage from history to incorporate innovative strategies that will appeal to consumer needs of today and tomorrow.

Paris 1947 : The woman of fashion

Paris 1947 is the site of one of twentieth century fashion’s fictive highpoints. The New Look combined drama and poetics through an abiding rhetoric of elegance. In doing so it employed traditional modes of femininity, casting the woman of fashion in the guise of an ambiguous ‘new’ figure: half fairytale princess, half evil witch. This fashionable ideal was widely disseminated through key photographic representations, Willy Maywald’s 1947 image of the Bar Suit being a case in point. It was precisely such mythic formulations of ‘woman’ which Simone de Beauvoir was to take to task just two years later with the publication of The Second Sex. Driven by frustration with the status quo of real women, de Beauvoir recognised the role of fictive representations, both textual and visual in defining women. This paper reads key sections of The Second Sex through a comparative analysis of two iconic images of French women from 1947; Cartier-Bresson’s classic portrait of de Beauvoir and Willy Mayhold’s spectacular evocation of Christian Dior’s New Look. Cued by a compelling range of similarities between these images this paper explores links between fashion, feminism and fiction in mid-century French culture.

Access to essential medicines: Public health and international law

Historically, there have been intense conflicts over the ownership and exploitation of pharmaceutical drugs and diagnostic tests dealing with infectious diseases. Throughout the 1980’s, there was much scientific, legal, and ethical debate about which scientific group should be credited with the discovery of the human immunodeficiency virus, and the invention of the blood test devised to detect antibodies to the virus. In May 1983, Luc Montagnier, Françoise Barré-Sinoussi, and other French scientists from the Pasteur Institute in Paris, published a paper in Science, detailing the discovery of a virus called lymphadenopathy (LAV). A scientific rival, Robert Gallo of the National Cancer Institute, identified the AIDS virus and published his findings in the May 1984 issue of Science. In May 1985, the United States Patent and Trademark Office awarded the American patent for the AIDS blood test to Gallo and the Department of Health and Human Services. In December 1985, the Institut Pasteur sued the Department of Health and Human Services, contending that the French were the first to identify the AIDS virus and to invent the antibody test, and that the American test was dependent upon the French research. In March 1987, an agreement was brokered by President Ronald Reagan and French Prime Minister Jacques Chirac, which resulted in the Department of Health and Human Services and the Institut Pasteur sharing the patent rights to the blood test for AIDS. In 1992, the Federal Office of Research Integrity found that Gallo had committed scientific misconduct, by falsely reporting facts in his 1984 scientific paper. A subsequent investigation by the National Institutes of Health, the United States Congress, and the US attorney-general cleared Gallo of any wrongdoing. In 1994, the United States government and French government renegotiated their agreement regarding the AIDS blood test patent, in order to make the distribution of royalties more equitable... The dispute between Luc Montagnier and Robert Gallo was not an isolated case of scientific rivalry and patent races. It foreshadowed further patent conflicts over research in respect of HIV/AIDS. Michael Kirby, former Justice of the High Court of Australia diagnosed a clash between two distinct schools of philosophy - ‘scientists of the old school... working by serendipity with free sharing of knowledge and research’, and ‘those of the new school who saw the hope of progress as lying in huge investments in scientific experimentation.’ Indeed, the patent race between Robert Gallo and Luc Montagnier has been a precursor to broader trade disputes over access to essential medicines in the 1990s and 2000s. The dispute between Robert Gallo and Luc Montagnier captures in microcosm a number of themes of this book: the fierce competition for intellectual property rights; the clash between sovereign states over access to medicines; the pressing need to defend human rights, particularly the right to health; and the need for new incentives for research and development to combat infectious diseases as both an international and domestic issue.