Practical secure information flow in programming languages

If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. ^ We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. ^ Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm B and error reporting have been implemented and tested. ^ Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity. ^

Hispanic Orientalism: The Literary Development of a Cultural Paradigm, from Medieval Spain to Modern Latin America

This dissertation offers a novel approach to Hispanic Orientalism, developing a dynamic paradigm from its origins in medieval and Renaissance Iberia during the process of the Christian Reconquest, to its transatlantic migration and establishment in the early years of the Colony, from where it changed in late colonial and post-Independence Latin America, and onto modernity. The study argues that Hispanic Orientalism does not necessarily imply a negative depiction of the Other, a quality associated with the traditional critique of Saidian Orientalism. Neither, does it entirely comply with the positivist approach suggested in the theoretical research of Said’s opponents, like Julia Kushigian. This dissertation also argues that sociopolitical changes and the shift in the discourse of powers, from imperial to non-imperial, had a significant impact of the development of Hispanic Orientalism, shaping the relationship with the Other. The methodology involves close reading of representative texts depicting the interactions of the dominant and dominated societies from each of the four historic periods that coincided with significant sociopolitical transformations in Hispanic society. Through an intercultural approach to literary studies, social history, and religious studies, this project develops an original paradigm of Hispanic Orientalism, derived from the image of the reinvented Semitic Other portrayed in the literary works depicting the relationship between the hegemonic and the subaltern cultures during the Reconquest period in Spain. Then, it traces the turn of the original paradigm towards reinterpretation during its transatlantic migration to Latin America through the analysis of the chronicles and travelogs of the first colonizers and explorers. During the transitional late colonial and early Independence periods Latin America sees a significant change in the discourse of powers, and Hispanic Orientalism reflects this oscillation between the past and the present therough the works of the Latin American authors from the seventeenth to the nineteenth centuries. Finally, once the non-imperial discourse of power established itself in the former Colony, a new modern stage in the development of Hispanic Orientalist paradigm takes place. It is marked by the desire to differentiate itself from the O(o)thers, as manifested in the works of the representatives of Modernism and the Boom.

Performativity and the claims of scientificity of modern linguistics

This paper discusses the claim of the situatedness of research in both theoretical and applied linguistics and some of its implications and argues that it is linked to the performativity of all assertions, including scientific ones. More importantly, I argue that it is the regressive infinity of performativity that makes inevitable the passage from presumably 'dispassionate' research to militancy.

Dança em cadeira de rodas : os sentidos da dança como linguagem não-verbal

Universidade Estadual de Campinas. Faculdade de Educação Física

A cross-linguistic comparison of address pronoun use in four European languages: Intralingual and interlingual dimensions

As part of a major ongoing project, we consider and compare contemporary patterns of address pronoun use in four major European languages- French, German, Italian and Swedish. We are specifically interested in two major aspects: intralingual behaviour, that is, within the same language community, and interlingual dimensions of address pronoun use. With respect to the former, we summarize our key findings to date. We then give consideration in a more preliminary fashion to issues and evidence relevant to the latter.

From possessive pronoun to emphatic determiner: 'so' in Mauritian Creole

This paper argues that at a particular stage in the genesis of Mauritian Creole (MC), the 3sg possessive pronoun 'so', inherited from the French 'son' was used as a definite determiner as well as a possessive pronoun. It was used when there was a need to single out a unique element in the discourse, or to introduce a new referent which was to become the focus of attention. 'So' was mostly used with genitive constructions, where a phonologically null determiner was equally grammatical. This paper argues that, in the early creole, genitive constructions licensed the determinative use of this pronoun. The use of 'so' with genitive constructions is no longer grammatical in modern MC, but this particle continues to be used as an emphatic determiner, where it now modifies both singular and plural NPs.

Appropriate surveying methods in the Philippines: Can modern GPS units help?

An investigation was undertaken to test the effectiveness of two procedures for recording boundaries and plot positions for scientific studies on farms on Leyte Island, the Philippines. The accuracy of a Garmin 76 Global Positioning System (GPS) unit and a compass and chain was checked under the same conditions. Tree canopies interfered with the ability of the satellite signal to reach the GPS and therefore the GPS survey was less accurate than the compass and chain survey. Where a high degree of accuracy is required, a compass and chain survey remains the most effective method of surveying land underneath tree canopies, providing operator error is minimised. For a large number of surveys and thus large amounts of data, a GPS is more appropriate than a compass and chain survey because data are easily up-loaded into a Geographic Information System (GIS). However, under dense canopies where satellite signals cannot reach the GPS, it may be necessary to revert to a compass survey or a combination of both methods.

Demonic Possession and Exorcism in Early Modern France

This is a highly original study of possession by demons and their exorcism, which was rife in early modern times, focussing on the place where they were most prevalent, France. Catholics at the time believed that the devil was present everywhere, in the rise of the heretics, in the activities of witches, and even in the bodies of the pious young women. The rite of exorcism was intended to heal the possessed and show the power of the church - but it generated as many problems as it resolved. Possessed nuns endured frequently violent exorcisms, exorcists were suspected of conjuring devils, and possession itself came to be seen as a form of holiness, elevating several women to the status of living saints. Sarah Ferber offers a challenging study of one of the most intriguing phenomena of early modern Europe; looking also at the present day, it argues that early modern conflicts over the devil still carry an unexpected force and significance for western Christianity (from publisher).