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.