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. ^

La tentacion del abismo en armonia Somers: Entre el expresionismo de vanguardia y el gotico postmoderno

Armonía Somers (Uruguay 1917 - 1994) ha sido clasificada dentro de la llamada Generación del 45 de Uruguay, sin embargo, muchos críticos aseguran que su obra difiere de la estética del período en que escribió. Mientras Ángel Rama sugiere que la narrativa de Somers pertenece a la tradición de los raros y malditos, que desciende del extraño linaje del Conde franco-uruguayo y poeta Lautréamont, otros la colocan en el ámbito de la narrativa imaginativa y de lo fantástico. La crítica contemporánea se aproxima a la obra de Somers a partir del concepto de lo extraño o "Unheimlich", abordando las novelas de la autora desde una perspectiva freudiana, lacaniana o heideggeriana. No obstante, ninguna de estas investigaciones ha determinado a qué género u orientación literaria se aviene, ni han indagado en profundidad sobre su contribución a los estudios metaficcionales. ^ En esta tesis propongo que las novelas de Armonía Somers, "La mujer desnuda" (1950), "De miedo en miedo. Los manuscritos del río" (1965), "Un retrato para Dickens" (1969), "Viaje al corazón del día. Elegía por un amor secreto" (1986), y "Solo los elefantes encuentran mandrágora" (1986), transgreden los géneros y tendencias literarias dominantes en su época por medio de una imaginación excesiva y de una trama anti-dramática, asociada primordialmente con la experiencia del terror sublime y la representación de lo inexpresable o irrepresentable, ambas nociones correspondientes a la poética expresionista de vanguardia y al gótico postmoderno. Las novelas analizadas en este trabajo presentan en su estructura una amplia gama de formas ambiguas e inorgánicas, cuya función desestabiliza los aspectos formales del realismo y subvierte los postulados epistemológicos e ideológicos en que se apoyan las culturas afirmativas, las cuales legitiman solo cierto concepto de realidad, desentendiéndose del resto de las experiencia humanas que no encajan en sus esquemas. La desacralización, la disolución moral, la muerte simbólica y la naturaleza fluida de la identidad junto con una marcada autorreflexividad, son algunos de los temas más relevantes de este conjunto de obras, que he categorizado como un ejemplo del expresionismo gótico postmoderno del siglo XX.^

La representacion de la masculinidad y la violencia de genero en la novela Espanola de la posguerra

While it may be argued that aggression against women is part of a culture of violence deeply rooted in Spanish society, the gender-related violence that exists in today’s Spain is more specifically a legacy of Franco’s dictatorship (1939-1975). Franco’s Spain endorsed unequal gender relations, championed patriarchal dominance and power over women, and imposed models of hegemonic and authoritarian masculinities that internalized violence by rendering it a feature inseparable from manhood and virility. ^ This dissertation provides a comprehensive analysis of masculinity and gender violence in Franco’s Spain, by analyzing the novel as the primary cultural vehicle of social criticism and political dissent against the new regime during a period (1939-1962) dominated by silence and censorship. The first part of this work defines and elucidates the concepts of masculinity and gender violence and the relationship between them. It also compares the significant social and cultural achievements of Spanish women during the Second Republic (1931-1939) with the reactionary curbing of those achievements during Francoism. The second part of this research presents a multidisciplinary analysis of masculinity and gender violence in three novels: Nada (1944) by Carmen Laforet, Juegos de manos (1954) by Juan Goytisolo and Tiempo de silencio (1962) by Luis Martin Santos. ^ Through the literary representation of different models of masculinity and the psychological and social parameters that encourage and incite gender violence, these authors conceptualize and express their political ideology, as well as their symbolic interpretation of Francoist Spain.^

L’esprit, le cœur et les bras’ : Rethinking Art as Labour in George Sand

Date of Acceptance: 13/04/2015

L’esprit, le cœur et les bras’ : Rethinking Art as Labour in George Sand

Date of Acceptance: 13/04/2015

Cooperative or collaborative learning: Is there a difference in university students’ perceptions?

The hypothesis that the same educational objective, raised as cooperative or collaborative learning in university teaching does not affect students’ perceptions of the learning model, leads this study. It analyses the reflections of two students groups of engineering that shared the same educational goals implemented through two different methodological active learning strategies: Simulation as cooperative learning strategy and Problem-based Learning as a collaborative one. The different number of participants per group (eighty-five and sixty-five, respectively) as well as the use of two active learning strategies, either collaborative or cooperative, did not show differences in the results from a qualitative perspective.

The redemption of the past. On a main motif in Walter Benjamin’s work

The following paper examines Walter Benjamin’s reflection on the category of “redemption”, mainly developed in the theses On the concept of History. To this end, we will try firstly to reconstruct Benjamin’s critique of “fate”, as it unfolds in the twenties on the field of right, economy and, especially, history. The critique of the expiatory logic of “fate” – developed in essays such as Fate and Character, Critique of violence or Capitalism as religion – will then allow us to disclose the “dialectical” structure of redemption, whereby Benjamin mobilizes his previous theory of knowledge against the doctrine of progress.

El dinero fuente de pecados en el Inferno de Dante y en la traducción de Pedro Fernández de Villegas (Burgos, 1515)

El trabajo se centra en el análisis de los pecados relacionados con el dinero en el Inferno de Dante y en la primera traducción castellana de la primera cantiga de la Commedia, obra del arcediano de Burgos Pedro Fernández de Villegas. La traducción, compuesta en coplas de arte mayor y acompañada de un enciclopédico comentario, se publicó en 1515. Particular atención se dedica a la reflexión sobre el problema del mal uso del dinero que Villegas desarrolla en la glosa de los cantos en que con más vigor se levanta la voz de Dante para denunciar la gravedad del pecado de la sed de riquezas. Se analiza la postura del traductor español ante el tema comparándola no sólo con la de Dante sino también con la de Cristoforo Landino, autor del Comento sopra la Comedia, obra exégetica que se publicó por primera vez en Florencia en 1481 y que representó el punto de referencia privilegiado de Villegas.

Las comedias húngaras de Lope de Vega: una cadena de intertextualidad y reescritura

Dentro del conjunto de comedias dedicadas a la historia de Hungría, Lope de Vega cuenta con tres comedias con numerosas similitudes: El príncipe melancólico, El cuerdo loco y La sortija del olvido. Este trabajo examina las relaciones de intertextualidad y reescritura en las tres obras, así como algunos aspectos del desarrollo de la comedia palatina lopesca.

Teaching morphology trough communicative approach and cooperative learning in Secondary Education: practical proposal

We will be presenting the following practical proposal that will consist of two sessions implemented with different courses of Secondary Education (ESO) of the Colegio Círculo Católico (Catholic School Group), located in the city of Burgos. Each session lasts 55 minutes. These sessions focus on the morphology of the Spanish language. Its design has been carried out by keeping in mind the theoretical basis of the communicative approach and cooperative learning.

El ritual en los "Textos de las Pirámides": sintaxis, texto y significado

Este trabajo pretende explorar la dimensión ritual en los Textos de las Pirámides, el corpus de literatura religiosa extensa más antiguo de la humanidad. La naturaleza variada de sus componentes textuales ha impedido que los egiptólogos comprendan en profundidad las complejidades de la colección y los contextos originales en los que estos textos (ritos) aparecieron. La aplicación de la teoría del ritual, principalmente la aproximación de la sintaxis ritual, ofrece a los investigadores un marco excelente de análisis e interpretación del corpus, su estructura y función. Sujeto a las reglas de la sintaxis ritual es posible exponer los múltiples niveles de significado en el corpus para la resurrección y salvación del difunto.

De Irlanda a Iberia: notas para a tradución de Eiléan Ní Chuilleanáin do inglés ao galego

La cuestión del género fue trabajada dentro de los estudios de traducción de diversas formas, incluyendo la asignación de género en la lengua meta, la traducción de lenguaje marcado de género y la traducción feminista. En este trabajo se estudia el uso o ausencia de marcas de género y de la praeterio a la hora de afrontar una traducción al gallego de la autora irlandesa Eiléan Ní Chuillanáin, feminista y nacionalista. Ambas situaciones se reflejan conscientemente en sus poemas de manera significativa. A través de ejemplos prácticos seleccionados, se reflexiona sobre la necesidad de tener en cuenta que la traslación de sus textos a una lengua que obligatoriamente establece elecciones lingüísticas entre el femenino y el masculino, debe hacerse respetando el sentido de la autora. Esto supone, para quien traduzca, compartir la perspectiva feminista y nacional de la autora familiarizándose con el marco y condicionantes de su obra poética.

"Unha espía no Reino de Galicia" de Manuel Rivas: O humor e a construción da identidade nacional galega

Este estudo analiza como Manuel Rivas aproveita a ambigüidade do concepto de estereotipo para crear una identidade cultural galega. En Unha espía no Reino de Galicia (2004), Rivas propón que a imaxe paródica do galego e o conxunto de trazos estereotipados que se lle asignan non son un elemento alleo a cultura galega, senón que é un trazo integral da dialéctica da súa identidade nacional. Desta maneira, ó feito diferencial galego, ademais da lingua, a unidade territorial, o celtismo, ou a emigración, habería que engadir a capacidade do galego de parodiar o seu propio discurso nacional.

El diminutivo en el español de Santo Domingo

Esta investigación analiza el uso del sufijo diminutivo en un corpus oral de jóvenes de la República Dominicana. El material procede de la transcripción de veinte entrevistas orales realizadas en los años noventa en Santo Domingo. En este estudio se realiza un análisis de las ocurrencias documentadas, su morfología, sus preferencias en cuanto a la selección de las clases de palabras que se toman como base para la formación de diminutivos, sus posibles valores semánticos y comunicativos, y, por último, se determina la frecuencia de uso del diminutivo en función del sexo de los hablantes.