Practical client puzzles in the standard model

Client puzzles are cryptographic problems that are neither easy nor hard to solve. Most puzzles are based on either number theoretic or hash inversions problems. Hash-based puzzles are very efficient but so far have been shown secure only in the random oracle model; number theoretic puzzles, while secure in the standard model, tend to be inefficient. In this paper, we solve the problem of constucting cryptographic puzzles that are secure int he standard model and are very efficient. We present an efficient number theoretic puzzle that satisfies the puzzle security definition of Chen et al. (ASIACRYPT 2009). To prove the security of our puzzle, we introduce a new variant of the interval discrete logarithm assumption which may be of independent interest, and show this new problem to be hard under reasonable assumptions. Our experimental results show that, for 512-bit modulus, the solution verification time of our proposed puzzle can be up to 50x and 89x faster than the Karame-Capkum puzzle and the Rivest et al.'s time-lock puzzle respectively. In particular, the solution verification tiem of our puzzle is only 1.4x slower than that of Chen et al.'s efficient hash based puzzle.

Effort-release public-key encryption from cryptographic puzzles

Timed-release cryptography addresses the problem of “sending messages into the future”: information is encrypted so that it can only be decrypted after a certain amount of time, either (a) with the help of a trusted third party time server, or (b) after a party performs the required number of sequential operations. We generalise the latter case to what we call effort-release public key encryption (ER-PKE), where only the party holding the private key corresponding to the public key can decrypt, and only after performing a certain amount of computation which may or may not be parallelisable. Effort-release PKE generalises both the sequential-operation-based timed-release encryption of Rivest, Shamir, and Wagner, and also the encapsulated key escrow techniques of Bellare and Goldwasser. We give a generic construction for ER-PKE based on the use of moderately hard computational problems called puzzles. Our approach extends the KEM/DEM framework for public key encryption by introducing a difficulty notion for KEMs which results in effort-release PKE. When the puzzle used in our generic construction is non-parallelisable, we recover timed-release cryptography, with the addition that only the designated receiver (in the public key setting) can decrypt.

Modelling client puzzles and denial-of-service resistant protocols

Denial-of-service (DoS) attacks are a growing concern to networked services like the Internet. In recent years, major Internet e-commerce and government sites have been disabled due to various DoS attacks. A common form of DoS attack is a resource depletion attack, in which an attacker tries to overload the server's resources, such as memory or computational power, rendering the server unable to service honest clients. A promising way to deal with this problem is for a defending server to identify and segregate malicious traffic as earlier as possible. Client puzzles, also known as proofs of work, have been shown to be a promising tool to thwart DoS attacks in network protocols, particularly in authentication protocols. In this thesis, we design efficient client puzzles and propose a stronger security model to analyse client puzzles. We revisit a few key establishment protocols to analyse their DoS resilient properties and strengthen them using existing and novel techniques. Our contributions in the thesis are manifold. We propose an efficient client puzzle that enjoys its security in the standard model under new computational assumptions. Assuming the presence of powerful DoS attackers, we find a weakness in the most recent security model proposed to analyse client puzzles and this study leads us to introduce a better security model for analysing client puzzles. We demonstrate the utility of our new security definitions by including two hash based stronger client puzzles. We also show that using stronger client puzzles any protocol can be converted into a provably secure DoS resilient key exchange protocol. In other contributions, we analyse DoS resilient properties of network protocols such as Just Fast Keying (JFK) and Transport Layer Security (TLS). In the JFK protocol, we identify a new DoS attack by applying Meadows' cost based framework to analyse DoS resilient properties. We also prove that the original security claim of JFK does not hold. Then we combine an existing technique to reduce the server cost and prove that the new variant of JFK achieves perfect forward secrecy (the property not achieved by original JFK protocol) and secure under the original security assumptions of JFK. Finally, we introduce a novel cost shifting technique which reduces the computation cost of the server significantly and employ the technique in the most important network protocol, TLS, to analyse the security of the resultant protocol. We also observe that the cost shifting technique can be incorporated in any Diffine{Hellman based key exchange protocol to reduce the Diffie{Hellman exponential cost of a party by one multiplication and one addition.

From solving puzzles to designing solutions : integrating design thinking into evidence based practice

Evidence based practice (EBP) focuses on solving ‘tame’ problems, where literature supports question construction toward determining a solution. What happens when there is no existing evidence, or when the need for agility precludes a full EBP implementation? How might we build a more agile and innovative practice that facilitates the design of solutions to complex and wicked problems, particularly in cases where there is no existing literature? As problem solving and innovation methods, EBP and design thinking overlap considerably. The literature indicates the potential benefits to be gained for evidence based practice from adopting a human-centred rather than literature-focused foundation. The design thinking process is social and collaborative by nature, which enables it to be more agile and produce more innovative results than evidence based practice. This paper recommends a hybrid approach to maximise the strengths and benefits of the two methods for designing solutions to wicked problems. Incorporating design thinking principles and tools into EBP has the potential to move its applicability beyond tame problems and continuous improvement, and toward wicked problem solving and innovation. The potential of this hybrid approach in practice is yet to be explored.

Writing the visible page : a multimodal approach to graphic devices in literary fiction

This practice-led project has two outcomes: a collection of short stories titled 'Corkscrew Section', and an exegesis. The short stories combine written narrative with visual elements such as images and typographic devices, while the exegesis analyses the function of these graphic devices within adult literary fiction. My creative writing explores a variety of genres and literary styles, but almost all of the stories are concerned with fusing verbal and visual modes of communication. The exegesis adopts the interpretive paradigm of multimodal stylistics, which aims to analyse graphic devices with the same level of detail as linguistic analysis. Within this framework, the exegesis compares and extends previous studies to develop a systematic method for analysing how the interactions between language, images and typography create meaning within multimodal literature.

Literary prosumers : young people’s reading and writing in a new media landscape

The production of culture is today a matter of ‘user generated content’ and young people are vital participants as ‘prosumers’, i.e. both producers and consumers, of cultural products. Among other things, they are busy creating fan works (stories, pictures, films) based on already published material. Using the genre fan fiction as a point of departure, this article explores the drivers behind net communities organised around fan culture and argues that fan fiction sites can in many aspects be regarded as informal learning settings. By turning to the rhetoric principle of imitatio, the article shows how in the collective interactive processes between readers and writers such fans develop literacies and construct gendered identities.

Literacies on the Web : Co-Production of Literary Texts on Fan Fiction Sites

In this chapter the authors discuss and informal learning settings such as fan fiction sites and their relations to teaching and learning within formal learning settings. Young people today spend a lot of time with social media built on user generated content. These media are often characterized by participatory culture which offers a good environment for developing skills and identity work. In this chapter the authors problematize fan fiction sites as informal learning settings where the possibilities to learn are powerful and significant. They also discuss the learning processes connected to the development of literacies. Here the rhetoric principle of “imitatio” plays a vital part as well as the co-production of texts on the sites, strongly supported by the beta reader and the power of positive feedback. They also display that some fans, through the online publication of fan fiction, are able to develop their craft in a way which previously have been impossible.

Practices of literary tourism : an Australian case study

Purpose To present the results of tests for the development of literary trails for domestic visitors and tourists in Brisbane, Queensland, and to situate these findings in the context of recent state government policy changes in relation to culture, community engagement and the environment. Design Broadly cultural studies: the article analyses changes in international and national cultural tourism and Queensland based issues before presenting the research findings. Findings a gap in tourist and cultural development models exists for the implementation of a network of sustainable literary trails in Brisbane--this model can be extended to regions around the state to meet the demands of the new tourist. Limitations Queensland weather and Australian distance which will require a regional approach that networks with transport and community hubs. Practical implications the research has produced new software for the use of self-guided walks; the locations for two specific area trails; and the involvement of the State Library of Queensland as a “hub” for the trails. Substantial support exists for further development in advanced locative media and gaming. Social implications the research demonstrates the importance of developing a sense of place that relates to culture, literary history and community for tourists, as well as the potential for community engagement.

Literary Studies : The Author Cat - Clemens's Life in Fiction

A review of The Author Cat: Clemens's Life in Fiction by Forrest G. Robinson (Fordham UP, 2007). Even at its most basic, guilt forms a counterweight to the hesitancy and unpleasantness of authorship, forcing writers back to the desk when they have come to despise their work. Guilt as task-master is familiar to most, even those to whom more elevated feelings, such as inspiration, make occasional visits. It seems that guilt is effective because writing is so seldom an organic or natural activity - rather, good writing emerges out of unhappy pressures that eventually overwhelm the writer's evasive strategies, from visits to the fridge door to the most sophisticated forms they take, such as when the author creates a narrative persona that claims to have owned up...

Better half-dead than read? The Mezzomorto cases and their implications for literary culture in the 1930s

This article focusses on the two libel cases arising from Brian Penton's review of Vivian Crockett's novel Mezzomorto for the Bulletin in 1934, viewing them as points of entry into Australian literary politics in the 1930s, and as windows on to one of the most enduring and interesting feuds in Australian literary culture, that between P.R. 'Inky' Stephensen, self-styled 'Bunyip Critic,' and Brian Penton, arch exponent of 'destructive criticism' and scourge of parochial pretension. The cases are particularly interesting for what they reveal about the evolving positions of two influential figures in Australian writing of the 1930s and 1940s. They also play in to contemporary debates about the state and status of 'literature' in Australia. And while Penton's biographer Patrick Buckridge avers that the cases did not impact on any of the larger contemporary literary issues (meaning censorship and free speech), a case may be made for the significance of the libel actions in the context of attempts to establish an industrial and cultural presence for a diverse range of Australian writing.

Scripted drama: The long wait for football to be taken seriously as a literary subject

This article is a work of non-fiction which draws on my research in football fiction.

The non-literary Latin letters. A study of their syntax and pragmatics

This dissertation studies the language of Latin letters that were written in Egypt and Vindolanda (in northern Britain) during the period 1st century BC 3rd century AD on papyri, ostraca, and wooden tablets. The majority of the texts is, in one way or another, connected with the Roman army. The focus of the study is on syntax and pragmatics. Besides traditional philological methods, modern syntactic theory is used as well, especially in the pragmatic analysis. The study begins with a critical survey of certain concepts that are current in the research on the Latin language, most importantly the concept of vulgar Latin , which, it is argued, seems to be used as an abstract noun for variation and change in Latin . Further, it is necessary to treat even the non-literary material primarily as written texts and not as straightforward reflections of spoken language. An examination of letter phraseology shows that there is considerable variation between the two major geographical areas of provenance. Latin letter writing in Egypt was influenced by Greek. The study highlights the importance of seeing the letters as a text type, with recurring phraseological elements appearing in the body text as well. It is argued that recognising these elements is essential for the correct analysis of the syntax. Three areas of syntax are discussed in detail: sentence connection (mainly parataxis), syntactically incoherent structures and word order (the order of the object and the verb). For certain types of sentence connection we may plausibly posit an origin in spoken Latin, but for many other linguistic phenomena attested in this material the issue of spoken Latin is anything but simple. Concerning the study of historical syntax, the letters offer information about the changing status of the accusative case. Incoherent structures may reflect contaminations in spoken language but usually the reason for them is the inability of the writer to put his thoughts into writing, especially when there is something more complicated to be expressed. Many incoherent expressions reflect the need to start the predication with a thematic constituent. Latin word order is seen as resulting from an interaction of syntactic and pragmatic factors. The preference for an order where the topic is placed sentence-initially can be seen in word order more generally as well. Furthermore, there appears a difference between Egypt and Vindolanda. The letters from Vindolanda show the order O(bject) V(erb) clearly more often than the letters from Egypt. Interestingly, this difference correlates with another, namely the use of the anaphoric pronoun is. This is an interesting observation in view of the fact that both of these are traditional Latin features, as opposed to those that foreshadow the Romance development (VO order and use of the anaphoric ille). However, it is difficult to say whether this is an indication of social or regional variation.

"Do Not Celebrate Your Feast without Your Neighbours" : A Study of References to Feasts and Festivals in Non-Literary Documents from Ramesside Period Deir el-Medina

This dissertation is a study of the forms and functions of feasts and feasting in the ancient Egyptian village of Deir el-Medina in Thebes (modern Luxor). This particular village, during the New Kingdom (c. 1550 1069 BC), was inhabited by the men (and their families) who constructed the Royal Tombs in the Valley of the Kings and the Valley of the Queens. The royal artisans were probably more literate than the average Egyptians and the numerous Ramesside Period (c. 1295 1069 BC) non-literary texts found in the excavations of the village and its surroundings form the source material for this study. In this study, the methods used are mainly Egyptological and the references to feasts and feasting are considered in view of what is known of New Kingdom Egypt, Thebes, and Deir el-Medina. Nevertheless, it is the use of the methodological concept local vernacular religion that has resulted in the division of the research findings into two sections, i.e., references to feasts celebrated both in and outside the community and other references to feasts and feasting in the village. When considering the function of the feasts celebrated at Deir el-Medina, a functional approach to feasts introduced by anthropologists and archaeologists is utilized. The Deir el-Medina feasts which were associated with the official religion form a festival calendar of feasts celebrated annually on the same civil calendar day. The reconstructed festival calendar of Deir el-Medina reflects the feasts celebrated around Thebes or, at least, in Western Thebes. The function of the nationally and regionally observed feasts (which, at least at Deir el-Medina, resulted in a work-free day) may have been to keep people content so that they would continue to work which was to the advantage of the king and the elite surrounding him. Local feasts appear to have been observed more irregularly at Deir el-Medina or perhaps according to the lunar calendar. Feasts celebrated by the community as a whole served to maintain the unity of the group. In addition to feasts celebrated by the entire community, the inhabitants of Deir el-Medina could mark their own personal feasts and organize small gatherings during public feasts. Through such feasts, an individual man might form alliances and advance his chances of a favourable marriage or of acquiring a position on the work crew.

The Duet between the Author and the Translator: An Analysis of Style through Shifts in Literary Translation

The study proposes a method for identifying the personal imprint of literary translators in translated works of fiction. The initial assumption was that the style of a target text is not determined solely by the literary style of the author but also by features of its translator s idiolect. A method was developed for identifying the idiolectal features of individual translators, which were then used to describe personal translation styles. The method is not restricted to a particular language pair. To test the method and to establish the nature of the proposed personal imprint empirically, extracts from four English-language literary source texts (two novels by James Joyce and two by Ernest Hemingway) were first compared with their translations into Finnish (by four different translators) in order to identify changes, or shifts, that had taken place at the formal linguistic level in the translation process. To allow individual propensities to manifest themselves, only optional shifts in which the translators had a range of choices available to them were included in the study. In the second phase, extracts by different authors rendered into Finnish by the same translator were compared in order to gauge the extent of the potential impact of the author's style on the translator's work. In-depth analysis of the types of shifts made most frequently by the individual translators revealed further intersubjective differences, and the shifts were used to construct translation profiles for each of the translators. In order to determine the potential effects of frequently occurring shifts on the target text, some central concepts of narratology were adapted and used to establish an intermediate link between microlevel choices and macrolevel effects. In this way the propensity of an individual translator to opt for certain types of shift could be linked with the overall artistic effect of the target text.