Vote-Independence: A Powerful Privacy Notion for Voting Protocols

International audienceRecently an attack on ballot privacy in Helios has been discovered [20], which is essentially based on copying other voter's votes. To capture this and similar attacks, we extend the classical threat model and introduce a new security notion for voting protocols: Vote-Independence. We give a formal definition and analyze its relationship to established privacy properties such as Vote-Privacy, Receipt-Freeness and Coercion-Resistance. In particular we show that even Coercion-Resistant protocols do not necessarily ensure Vote-Independence

Prognostic importance of survivin in breast cancer

Survivin is a member of the inhibitor of apoptosis (IAP) family, and is also involved in the regulation of cell division. Survivin is widely expressed in foetal tissues and in human cancers, but generally not in normal adult tissue. This study examined the expression of surviving protein in a series of 293 cases of invasive primary breast carcinoma. Survivin immunoreactivity was assessed using two different polyclonal antibodies, and evaluated semiquantitatively according to the percentage of cells demonstrating distinct nuclear and/or diffuse cytoplasmic staining. Overall, 60% of tumours were positive for survivin: 31% demonstrated nuclear staining only, 13% cytoplasmic only, and 16% of tumour cells demonstrated both nuclear and cytoplasmic staining. Statistical analysis revealed that survivin expression was independent of patient's age, tumour size, histological grade, nodal status, and oestrogen receptor status. In multivariate analysis, nuclear survivin expression was a significant independent prognostic indicator of favourable outcome both in relapse-free and overall survival (P<0.001 and P=0.01, respectively). In conclusion, our results show that survivin is frequently overexpressed in primary breast cancer. Nuclear expression is most common and is an independent prognostic indicator of good prognosis

SMAC is expressed de novo in a subset of cervical cancer tumors

BACKGROUND: Smac/Diablo is a recently identified protein that is released from mitochondria after apoptotic stimuli. It binds IAPs, allowing caspase activation and cell death. In view of its activity it might participate in carcinogenesis. In the present study, we analyzed Smac expression in a panel of cervical cancer patients. METHODS: We performed semi quantitative RT-PCR on 41 cervical tumor and 6 normal tissue samples. The study included 8 stage I cases; 16 stage II; 17 stage III; and a control group of 6 samples of normal cervical squamous epithelial tissue. RESULTS: Smac mRNA expression was below the detection limit in the normal cervical tissue samples. In contrast, 13 (31.7%) of the 41 cervical cancer biopsies showed detectable levels of this transcript. The samples expressing Smac were distributed equally among the stages (5 in stage I, 4 in stage II and 4 in stage III) with similar expression levels. We found no correlation between the presence of Smac mRNA and histology, menopause, WHO stage or disease status. CONCLUSIONS: Smac is expressed de novo in a subset of cervical cancer patients, reflecting a possible heterogeneity in the pathways leading to cervical cancer. There was no correlation with any clinical variable

Four Lessons in Versatility or How Query Languages Adapt to the Web

Exposing not only human-centered information, but machine-processable data on the Web is one of the commonalities of recent Web trends. It has enabled a new kind of applications and businesses where the data is used in ways not foreseen by the data providers. Yet this exposition has fractured the Web into islands of data, each in different Web formats: Some providers choose XML, others RDF, again others JSON or OWL, for their data, even in similar domains. This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity. With Xcerpt we have developed a rule- and pattern based query language that aims to give shield application builders from much of this complexity: In a single query language XML and RDF data can be accessed, processed, combined, and re-published. Though the need for combined access to XML and RDF data has been recognized in previous work (including the W3C’s GRDDL), our approach differs in four main aspects: (1) We provide a single language (rather than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified in that they apply for querying XML and RDF in the same way. (3) We show that the resulting query language can be implemented reusing traditional database technology, if desirable. Nevertheless, we also give a unified evaluation approach based on interval labelings of graphs that is at least as fast as existing approaches for tree-shaped XML data, yet provides linear time and space querying also for many RDF graphs. We believe that Web query languages are the right tool for declarative data access in Web applications and that Xcerpt is a significant step towards a more convenient, yet highly efficient data access in a “Web of Data”

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

International audienceVerification of privacy-type properties for cryptographic protocols in an active adversarial environment, modelled as a behavioural equivalence in concurrent-process calculi, exhibits a high computational complexity. While undecidable in general, for some classes of common cryptographic primitives the problem is coNEXP-complete when the number of honest participants is bounded.In this paper we develop optimisation techniques for verifying equivalences, exploiting symmetries between the two processes under study. We demonstrate that they provide a significant (several orders of magnitude) speed-up in practice, thus increasing the size of the protocols that can be analysed fully automatically

Expression of different survivin variants in gastric carcinomas: first clues to a role of survivin-2B in tumour progression

Survivin is a novel member of the inhibitor of apoptosis family and determines the susceptibility of tumour cells to pro-apoptotic stimuli. Recently, we identified two novel alternative splice variants of survivin, differing in their anti-apoptotic properties: whereas the anti-apoptotic potential of survivin-ΔEx3 is preserved, survivin-2B has lost its anti-apoptotic potential and may act as a naturally occurring antagonist of survivin. Because the in vivo expression of these alternative splice variants has not been explored so far, we analysed gastric carcinomas of different histological subtypes, grades and stages. Since no antibodies are currently available to determine the novel splice variants, quantitative reverse transcriptase polymerase chain reaction was performed, using RNA samples obtained from 30 different gastric carcinomas. Polymerase chain reactions products were quantified by densitometric evaluation. We found that all gastric carcinomas, irrespective of their histological types, grades or stages, express survivin-ΔEx3, survivin-2B and survivin, the latter being the dominant transcript. Comparing the disease stages I+II with III+IV, expression of survivin and survivin-ΔEx3 remained unchanged. In contrast, a significant (P=0.033) stage-dependent decrease in the expression of survivin-2B became evident. Our study demonstrates for the first time the expression of alternative splice variants in gastric carcinomas and provides a first clue to a role of survivin-2B in tumour progression

Nuclear and cytoplasmic expression of survivin in 67 surgically resected pancreatic cancer patients

Pancreatic cancer is one of the most aggressive gastrointestinal cancer with less than 10% long-term survivors. The apoptotic pathway deregulation is a postulated mechanism of carcinogenesis of this tumour. The present study investigated the prognostic role of apoptosis and apoptosis-involved proteins in a series of surgically resected pancreatic cancer patients. All patients affected by pancreatic adenocarcinoma and treated with surgical resection from 1988 to 2003 were considered for the study. Patients' clinical data and pathological tumour features were recorded. Survivin and Cox-2 expression were evaluated by immunohistochemical staining. Apoptotic cells were identified using the TUNEL method. Tumour specimen of 67 resected patients was included in the study. By univariate analysis, survival was influenced by Survivin overexpression. The nuclear Survivin overexpression was associated with better prognosis (P=0.0009), while its cytoplasmic overexpression resulted a negative prognostic factor (P=0.0127). Also, the apoptotic index was a statistically significant prognostic factor in a univariate model (P=0.0142). By a multivariate Cox regression analysis, both the nuclear (P=0.002) and cytoplasmic (P=0.040) Survivin overexpression maintained the prognostic statistical value. This is the first study reporting a statistical significant prognostic relevance of nuclear and cytoplasmic Survivin overexpression in pancreatic cancer. In particular, patients with high nuclear Survivin staining showed a longer survival, whereas patients with high cytoplasmic Survivin staining had a shorter overall survival

Survivin expression in oral squamous cell carcinoma

A series of 110 cases of oral squamous cell carcinoma (SCC) together with six lymph node and one distant metastatic lesions was analysed for expression of survivin, a recent apoptosis inhibitor, by immunohistochemistry and Western blotting. In total, 91 cases (82.7%) of carcinoma and all metastasis (seven cases, 100%) were positive for survivin expression, with weighted survivin scores ranging from 1 to 4. In contrast, normal oral epithelium did not express survivin. There was no significant correlation between survivin expression and age, sex, tumour size, the presence of lymph node and distant metastases. Survivin expression was increased in poorly differentiated tumours, even if differences were not statistically significant. In contrast, when analysed for prognostic significance, patients with low survivin expression had statistically significant better survival rates than the group with high survivin expression (P < 0.05). These data suggest that survivin expression may identify cases of oral SCC with more aggressive and invasive phenotype

Koinonia: verifiable e-voting with long-term privacy

Despite years of research, many existing e-voting systems do not adequately protect voting privacy. In most cases, such systems only achieve "immediate privacy", that is, they only protect voting privacy against today's adversaries, but not against a future adversary, who may possess better attack technologies like new cryptanalysis algorithms and/or quantum computers. Previous attempts at providing long-term voting privacy (dubbed "everlasting privacy" in the literature) often require additional trusts in parties that do not need to be trusted for immediate privacy. In this paper, we present a framework of adversary models regarding e-voting systems, and analyze possible threats to voting privacy under each model. Based on our analysis, we argue that secret-sharing based voting protocols offer a more natural and elegant privacy-preserving solution than their encryption-based counterparts. We thus design and implement Koinonia, a voting system that provides long-term privacy against powerful adversaries and enables anyone to verify that each ballot is well-formed and the tallying is done correctly. Our experiments show that Koinonia protects voting privacy with a reasonable performance

Indivo: a personally controlled health record for health information exchange and communication

<p>Abstract</p> <p>Background</p> <p>Personally controlled health records (PCHRs), a subset of personal health records (PHRs), enable a patient to assemble, maintain and manage a secure copy of his or her medical data. Indivo (formerly PING) is an open source, open standards PCHR with an open application programming interface (API).</p> <p>Results</p> <p>We describe how the PCHR platform can provide standard building blocks for networked PHR applications. Indivo allows the ready integration of diverse sources of medical data under a patient's control through the use of standards-based communication protocols and APIs for connecting PCHRs to existing and future health information systems.</p> <p>Conclusion</p> <p>The strict and transparent personal control model is designed to encourage widespread participation by patients, healthcare providers and institutions, thus creating the ecosystem for development of innovative, consumer-focused healthcare applications.</p