Quantifying Information Leaks Using Reliability Analysis

acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie

Engaging Citizens with Televised Election Debates through Online Interactive Replays

In this paper we tackle the crisis of political trust and public engagement with politics by investigating new methods and tools to watch and take part in televised political debates. The paper presents relevant research at the intersection of citizenship, technologies and government/democracy, and describes the motivation, requirements and design of Democratic Replay, an online interactive video replay platform that offers a persistent, customisable digital space for: (a) members of the public to express their views as they watch online videos of political events; and (b) enabling for a richer collective understanding of what goes on in these complex media events

Mary Beth Phillips

Mary Beth Phillips worked at IWU for 27 years. In that time she served as Administrative Assistant for three different Presidents and for two of the Vice Presidents for Business and Finance. Her stories include the office\u27s role in the campus building projects during her tenure and the changes she\u27s seen to campus\u27s connection to the Methodist Church

Flocel Sabaté. La feudalización de la sociedad catalana.

L'obra que posem en consideració dels lectors creiem que es pot ben considerar com una de les més rellevants dins de l'ámplia i sòlida bibliografia que sortir de la mà i del treball constant del prof. Flocel Sabaté. De fet, l'obra que glossem és fruit de la reelaboració i ampliació d'un ampli article aparegut en el context de la reunió anual de la Càtedra d'Estudis Medievals 'Comtat d'Urgell' celebrada a Balaguer l'estiu del 2001, amb el titol 'El Temps i l'Espai del Feudalisme'

Anne Weston McGowan

Anne Weston McGowan graduated with a BA in English in 1976. She moved to Bloomington-Normal when her husband James joined the English Department faculty in 1969. Anne is a former Board member of the community organization Ecology Action Center (founded in 1971 and called Operation Recycle). She remains active in that and other community organizations

L'almoina pontifícia d'Avinyó i els seus inicis (1316-1324) en temps de Joan XXII

Study of Alms' pontifical beginning from Avignon, under John XXII papacy, and in the years that follow the first signal of crisis in the beginning of 14th century. There are considered the food helps to the poors, the quantity and quality of these foods, the helps to the religious, pilgrims and poor maids without dowry. There are been used the detailed accounts of Apostolic Chamber from years 1317 to 1324

Indeks Subjek Volume 34, Tahun 2014

Acceptability 285Acceptability and quality of the meat 415Acetic acid 298Active edible film 72Activated sludge 57Actuators 213Agroindustry performance 184Antagonism 430Anthocyanin 291, 374Antibacterial activity 8Antifungal 1Antimicrobial 127Antioxidant 65, 113, 127, 291, 415Antioxidant activity 399Antioxidative activity 113Arrowroot starch 14Ascorbic acid 138ASLT method 29Autoclaving-cooling cycles 14

David Berry

Topics covered are meeting his spouse Susan Merritt, Class of 1975, close faculty mentors, athletics and campus traditions. Mr. Berry also speaks frankly about his experiences at IWU as a person of faith