Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Starotestamentalny kontekst opisów cudownych uwolnień z Dziejów Apostolskich

Wydział Teologiczny

Dimensão ética da conduta das empresas e dos trabalhadores: Factos empíricos de um estudo exploratório realizado em Portugal

O artigo apresenta uma selecção dos resultados de um estudo empírico realizado em Portugal em 2004, numa amostra por conveniência, sobre diversos aspectos da conduta ética das empresas e seus trabalhadores. A dimensão ética da conduta das empresas e dos trabalhadores foi assumida como conceito composto pelos seguintes aspectos: reflexão ética, legalidade da conduta, relações entre a ética e a eficiência, responsabilidade das empresas, percepção da conduta não ética e denúncia da sua ocorrência, institucionalização e formalização da ética nas empresas. Dos resultados destacam-se: o impacto positivo ao nível cognitivo da implementação dos elementos de ética formal na empresa, o qual pode, contudo, conduzir à supressão da responsabilidade e à desculpabilização pelos actos potencialmente imorais; o crescimento da imagem positiva do tecido empresarial com a ascendência na posição hierárquica e o inverso com o decréscimo do poder organizacional; o decréscimo de confiança nas empresas nacionais à medida que o sentimento de segurança de/no emprego se reduz e a sua transferência para as empresas estrangeiras; o crescimento de confiança depositada pelos inquiridos nas empresas com o aumento da dimensão destas últimas; a predominância de documentos escritos de ética nas empresas de origem estrangeira e a sua escassez nas empresas nacionais.

Autoeficácia de alunos de Administração: um estudo com concluintes do curso de graduação em Administração no Estado do Pará

The current study presents the characteristics of self-efficacy of students of Administration course, who work and do not work. The study was conducted through a field research, descriptive, addressed quantitatively using statistical procedures. Was studied a population composed of 394 students distributed in three Higher Education Institutions, in the metropolitan region of Belém, in the State of Pará. The sampling was not probabilistic by accessibility, with a sample of 254 subjects. The instrument for data collection was a questionnaire composed of a set of questions divided into three sections: the first related to sociodemographic data, the second section was built to identify the work situation of the respondent and the third section was built with issues related to General Perceived Self-Efficacy Scale proposed by Schwarzer and Jerusalem (1999). Sociodemographic data were processed using methods of descriptive statistics. This procedure allowed characterizing the subjects of the sample. To identify the work situation, the analysis of frequency and percentage was used, which allowed to classify in percentage, the respondents who worked and those that did not work, and the data related to the scale of self-efficacy were processed quantitatively by the method of multivariate statistics using the software of program Statistical Package for Social Sciences for Windows - SPSS, version 17 from the process of Exploratory Factor Analysis. This procedure allowed characterizing the students who worked and the students who did not worked. The results were discussed based on Social Cognitive Theory from the construct of self-efficacy of Albert Bandura (1977). The study results showed a young sample, composed the majority of single women with work experience, and indicated that the characteristics of self-efficacy of students who work and students who do not work are different. The self-efficacy beliefs of students who do not work are based on psychological expectations, whereas the students who work demonstrated that their efficacy beliefs are sustained by previous experiences. A student who does not work proved to be reliant in their abilities to achieve a successful performance in their activities, believing it to be easy to achieve your goals and to face difficult situations at work, simply by invest a necessary effort and trust in their abilities. One who has experience working proved to be reliant in their abilities to conduct courses of action, although know that it is not easy to achieve your goals, and in unexpected situations showed its ability to solve difficult problems

Impact of ethical behavior on syndicated loan rates

This paper shows that borrowers’ ethical behavior leads lending banks to loosen financing conditions when setting loan rates. We advance the banking literature by stressing that the previous financing loosening is enhanced when there is similarity of lenders and borrowers along their ethical domain given that such similarity brings about familiarity and trust in non-opportunistic behavior between them, thereby contributing to lower information frictions. Unique data composed of 12,545 syndicated loan facilities from 19 countries for the period 2003–2007 indicate a 24.8% reduction in the mean spread associated with an increase of one standard deviation in the degree of borrowers’ ethical behavior from its mean value. Such reduction is enhanced to 37.6% when lenders also behave in an ethical way. Results withstand a battery of robustness tests including the use of alternative databases that capture the effect of the 2008 financial crisis, financing alternatives such as equity financing as well as nonparametric estimations.

THERE GOES THE ELECTORAL NEIGHBORHOOD: LOCAL NETWORKS, ATTRIBUTION OF RESPONSIBILITY, AND THE (UN) FAIRNESS OF ELECTIONS

During the last two decades there have been but a handful of recorded cases of electoral fraud in Latin America. However, survey research consistently shows that often citizens do not trust the integrity of the electoral process. This dissertation addresses the puzzle by explaining the mismatch between how elections are conducted and how the process is perceived. My theoretical contribution provides a double-folded argument. First, voters’ trust in their community members (“the local experience”) impacts their level of confidence in the electoral process. Since voters often find their peers working at polling stations, negative opinions about them translate into negative opinions about the election. Second, perceptions of unfairness of the system (“the global effect”) negatively impact the way people perceive the transparency of the electoral process. When the political system fails to account for social injustice, citizens lose faith in the mechanism designed to elect representatives -and ultimately a set of policies. The fact that certain groups are systematically disregarded by the system triggers the notion that the electoral process is flawed. This is motivated by either egotropic or sociotropic considerations. To test these hypotheses, I employ a survey conducted in Costa Rica, El Salvador, Honduras, and Guatemala during May/June 2014, which includes a population-based experiment. I show that Voters who trust their peers consistently have higher confidence in the electoral process. Whereas respondents who were primed about social unfairness (treatment) expressed less confidence in the quality of the election. Finally, I find that the local experience is predominant over the global effect. The treatment has a statistically significant effect only for respondents who trust their community. Attribution of responsibility for voters who are skeptics of their peers is clear and simple, leaving no room for a more diffuse mechanism, the unfairness of the political system. Finally, now I extend analysis to the Latin America region. Using data from LAPOP that comprises four waves of surveys in 22 countries, I confirm the influence of the “local experience” and the “global effect” as determinants of the level of confidence in the electoral process.

Controlo de qualidade de matrizes de fotodíodos de avalanche no projecto "PET - Desenvolvimento de tecnologia PET para mamografia"

Dissertação mest. em Imagiologia Médica, Faculdade de Ciências e Tecnologia da Univ. do Algarve, 2006

Kierkegaard e Plantinga : a subjetividade e a crença em Deus

O objetivo do presente trabalho é apresentar a discussão da temática da subjetividade como um importante fator para a afirmação da crença religiosa, tanto na obra de Kierkegaard como na obra de Plantinga. A despeito de algumas diferenças conceituais, avaliamos que ambos os autores não se interessam por provar a existência de Deus, mas antes se concentram na experiência como um fator central. Além disso, em ambos os autores, e na tradição cristã em geral, a subjetividade é fundamental para a afirmação da crença. Em Kierkegaard, tal conceito se encontra com a afirmação da fé enquanto absurdo. Em Plantinga, a afirmação da “basicalidade da crença” abre espaço para a relação de experiência e amplia o debate sobre a crença, reafirmando a sua posição crítica aos fundamentos da modernidade. Desse modo, a partir de alguns recortes específicos, busca-se o estabelecimento de um diálogo que consegue apontar, mesmo com diferenças essenciais entre os dois autores, notadamente na questão do absurdo e na ênfase maior de Kierkegaard sobre a fé como algo apaixonado, um fecundo debate. _______________________________________________________________________________ ABSTRACT

O marketing das notícias : consumo de informações online, persuasão e confiança

Dissertação (mestrado)—Universidade de Brasília, Instituto de Psicologia, Departamento de Psicologia Social e do Trabalho, Programa de Pós-Graduação em Psicologia Social, do Trabalho e das Organizações, 2016.

A perceção de suporte e a confiança organizacional: A sua importância na retenção dos recursos humanos

Dissertação de Mestrado apresentada ao ISPA - Instituto Universitário

Un aporte a la comprensión de las estrategias emergentes en las organizaciones a través del concepto de improvisación y la metáfora musical

Este trabajo se inscribe en uno de los grandes campos de los estudios organizacionales: la estrategia. La perspectiva clásica en este campo promovió la idea de que proyectarse hacia el futuro implica diseñar un plan (una serie de acciones deliberadas). Avances posteriores mostraron que la estrategia podía ser comprendida de otras formas. Sin embargo, la evolución del campo privilegió en alguna medida la mirada clásica estableciendo, por ejemplo, múltiples modelos para ‘formular’ una estrategia, pero dejando en segundo lugar la manera en la que esta puede ‘emerger’. El propósito de esta investigación es, entonces, aportar al actual nivel de comprensión respecto a las estrategias emergentes en las organizaciones. Para hacerlo, se consideró un concepto opuesto —aunque complementario— al de ‘planeación’ y, de hecho, muy cercano en su naturaleza a ese tipo de estrategias: la improvisación. Dado que este se ha nutrido de valiosos aportes del mundo de la música, se acudió al saber propio de este dominio, recurriendo al uso de ‘la metáfora’ como recurso teórico para entenderlo y alcanzar el objetivo propuesto. Los resultados muestran que 1) las estrategias deliberadas y las emergentes coexisten y se complementan, 2) la improvisación está siempre presente en el contexto organizacional, 3) existe una mayor intensidad de la improvisación en el ‘como’ de la estrategia que en el ‘qué’ y, en oposición a la idea convencional al respecto, 4) se requiere cierta preparación para poder improvisar de manera adecuada.

Análisis del concepto de liderazgo y sus aplicaciones en el contexto empresarial

El presente trabajo se realizó con el objetivo de tener una visión completa de las teorías del liderazgo, teniendo de este una concepción como proceso y poder examinar las diversas formas de aplicación en las organizaciones contemporáneas. El tema es enfocado desde la perspectiva organizacional, un mundo igualmente complejo, sin desconocer su importancia en otros ámbitos como la educación, la política o la dirección del estado. Su enfoque tiene que ver con el estudio académico del cual es la culminación y se enmarca dentro de la perspectiva constitucional de la Carta Política Colombiana que reconoce la importancia capital que tienen la actividad económica y la iniciativa privada en la constitución de empresas. Las diversas visiones del liderazgo han sido aplicadas de distintas maneras en las organizaciones contemporáneas y han generado diversos resultados. Hoy, no es posible pensar en una organización que no haya definido su forma de liderazgo y en consecuencia, confluyen en el campo empresarial multitud de teorías, sin que pueda afirmarse que una sola de ellas permita el manejo adecuado y el cumplimiento de los objetivos misionales. Por esta razón se ha llegado a concebir el liderazgo como una función compleja, en un mundo donde las organizaciones mismas se caracterizan no solo por la complejidad de sus acciones y de su conformación, sino también porque esta característica pertenece también al mundo de la globalización. Las organizaciones concebidas como máquinas que en sentido metafórico logran reconstituirse sus estructuras a medida que están en interacción con otras en el mundo globalizado. Adaptarse a las cambiantes circunstancias hace de las organizaciones conglomerados en permanente dinámica y evolución. En este ámbito puede decirse que el liderazgo es también complejo y que es el liderazgo transformacional el que más se acerca al sentido de la complejidad.

Institucionalidad y control territorial en Colombia. Una aproximación al Urabá antioqueño desde la teoría de la cooptación del estado (1997-2007)

El interés de esta monografía es evaluar la relación entre el orden institucional del Estado colombiano y las lógicas del control territorial de los paramilitares sobre el Urabá antioqueño durante el periodo 1997-2007. Se analiza y explica cómo los grupos paramilitares aprovecharon el contexto de debilidad institucional del Urabá antioqueño para consolidar estructuras paraestatales que instrumentalizaron y cooptaron la institucionalidad del Estado con la pretensión de reproducir las condiciones necesarias para su sostenimiento. Así como las consecuencias sobre la Institucionalidad regional a causa de la consolidación de un control político de corte autoritario y clientelista, la obstaculización de la afirmación del monopolio de la violencia estatal, y la protección de un modelo económico particular sustentado en la violencia. Para ello, como parámetros generales se siguen las funciones estatales descritas por Charles Tilly, la descripción de los estados entre estados de Kinsgton y Spears y la teoría de la cooptación del Estado de Jorge Garay.

Ex combatientes y proceso de reintegración: representaciones sociales de un grupo estudiantes del área de la salud

La presente investigación tuvo como objetivo describir las representaciones sociales de un grupo de estudiantes del área de la salud frente a los excombatientes de grupos armados al margen de la ley en Colombia y frente a los procesos de reintegración. El estudio es cualitativo, desde un enfoque procesual de la teoría de las representaciones sociales, participaron estudiantes del área de la salud de una universidad privada de la ciudad de Bogotá. Los datos fueron recogidos mediante un ejercicio de asociación libre para conocer el componente semántico de las representaciones y una entrevista semiestructurada de forma individual con el fin de identificar las dimensiones de información, actitud y campo representacional. Se encontró la prevalencia de prejuicios hacia los excombatientes y la influencia de los medios de comunicación en el nivel y calidad de la información sobre estos objetos de representación, y se identificó una ambigüedad frente al proceso de reintegración; lo que de alguna forma sugiere las dificultades para la inclusión de este grupo a la sociedad, la presencia de una discriminación negativa y las bajas expectativas frente a procesos de cambio en el marco del proceso de paz.

La construcción de sentido (‘sensemaking’) de un entorno estratégico turbulento por parte de los altos directivos: un estudio en una multinacional automotriz

Este artículo presenta los resultados de una investigación realizada al interior de dos contextos. Por un lado, el teórico, en el marco de uno de los discursos más relevantes en los campos de la estrategia organizacional, de la managerial and organizational cognition (MOC) y, en general, de los estudios organizacionales (organization studies): la construcción de sentido (sensemaking). Por el otro, el empírico, en una de las grandes compañías multinacionales del sector automotriz con presencia global. Esta corporación enfrenta una permanente tensión entre lo que dicta la casa matriz, en relación con el cumplimiento de metas y estándares específicos, considerando el mundo entero, y los retos que, teniendo en cuenta lo regional y lo local, experimentan los altos directivos encargados de hacer prosperar la empresa en estos lugares. La aproximación implementada fue cualitativa. Esto en atención a la naturaleza de la problemática abordada y la tradición del campo. Los resultados permiten ampliar el actual nivel de comprensión acerca de los procesos de sensemaking de los altos directivos al enfrentar un entorno estratégico turbulento.