In this paper we show two attacks against universally resilient mix-nets. The first attack can be used against a number of mixnets, including Furukawa-Sako01 [6], Millimix [11], Abe98 [1], MiP-1, MiP-2 [2, 3] and Neff01 [19]. We give the details of the attack in the case of Furukawa-Sako01 mix-net. The second attack breaks the correctness of Millimix [11]. We show how to counter these attacks, ...

Secure mix networks consider the presence of multiple nodes that relay encrypted messages from one node to another in such a way that anonymous communication can be achieved. We consider the Sphinx mix formatting protocol by Danezis and Goldberg (IEEE Security and Privacy 2009), and analyze its use of symmetric-key cryptographic primitives. We scrutinize the reliance on multiple distinct primit...

A computer program, MIX, was designed to identify pairs of chemicals whose interaction results in a response that departs significantly from the model predicated on the assumption of independent, uncorrelated joint action. This report describes the MIX program, its statistical basis, and instructions for its use. a research entomologist, is in charge of the unit developing improved technology f...

The functional and health characteristics of nursing home residents in New York State using a multivariate classification procedure are examined in this article. This analysis suggested that these characteristics could be explained in terms of six dimensions. The association of these six dimensions with two existing sets of nursing home case-mix groups was analyzed in order to determine how gro...

We use an exploratory agent-based model of adults' walking behavior within a city to examine the possible impact of interventions on socioeconomic differences in walking. Simulated results show that for persons of low socioeconomic status, increases in walking resulting from increases in their positive attitude towards walking may diminish over time if other features of the environment are not ...

In this paper, we describe an ontology for a hierarchically organized production control system in semiconductor manufacturing. The semiconductor manufacturing domain is characterized by reentrant product flows, sequence dependent setup-times, prescribed due-dates, a diverse product mix, a mix of different process types including batch processes and preventive maintenance issues because of comp...

Yoghurt is a unique fermented dairy product, consumed throughout the world and the trend ofconsumption is increasing due to its unique health benefits. Yoghurt mix is often supplemented with MSNF(milk solids-non-fat), it may contain as much as 5.7% unhydrolysed lactose. Lactose can be hydrolysed withan enzyme lactase. Deficiency of lactase in lactose-intolerant persons leads to gastrointestinal...

INTRODUCTION External validation studies are essential to study the generalizability of prediction models. Recently a permutation test, focusing on discrimination as quantified by the c-statistic, was proposed to judge whether a prediction model is transportable to a new setting. We aimed to evaluate this test and compare it to previously proposed procedures to judge any changes in c-statistic ...