Pattern matching encryption, strategic equivalence of range voting and approval voting, and statistical robustness of voting rules

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (p. 119-123).We present new results in the areas of cryptography and voting systems. 1. Pattern matching encryption: We present new, general definitions for queryable encryption schemes - encryption schemes that allow evaluation of private queries on encrypted data without performing full decryption. We construct an efficient queryable encryption scheme supporting pattern matching queries, based on suffix trees. Storage and communication complexity are comparable to those for (unencrypted) suffix trees. The construction is based only on symmetric-key primitives, so it is practical. 2. Strategic equivalence of range voting and approval voting: We study strategic voting in the context of range voting in a formal model. We show that under general conditions, as the number of voters becomes large, strategic range-voting becomes equivalent to approval voting. We propose beta distributions as a new and interesting way to model voter's subjective information about other votes. 3. Statistical robustness of voting rules: We introduce a new notion called "statistical robustness" for voting rules: a voting rule is statistically robust if, for any profile of votes, the most likely winner of a sample of the profile is the winner of the complete profile. We show that plurality is the only interesting voting rule that is statistically robust; approval voting (perhaps surprisingly) and other common voting rules are not statistically robust.by Emily Shen.Ph.D

End-to-end verifiability for optical scan voting systems

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.Includes bibliographical references (p. 57-59).End-to-end verifiable voting systems allow voters to verify that their votes are cast as intended, collected as cast, and counted as collected. Essentially, end-to-end voting systems provide voters assurance that each step of the election worked correctly. At the same time, voting systems must protect voter privacy and prevent the possibility of improper voter influence and voter coercion. Several end-to-end voting systems have been proposed, varying in usability and practicality. In this thesis we describe and analyze Scantegrity II, a novel end-to-end verification mechanism for optical scan voting which uses confirmation codes printed on the ballot in invisible ink. The confirmation codes allow voters to create privacy-preserving receipts which voters can check against the bulletin board after the close of the election to ensure that their votes have been collected as cast. Anyone can check that votes have been counted as collected and that the tally is correct. We describe the Scantegrity II system and analyze the integrity and privacy properties it provides.by Emily Shen.S.M

Associations between volunteering and cognitive impairment: The moderating role of race/ethnicity

Article describes how although volunteering has been shown to benefit cognitive health, there is a paucity of evidence on informal volunteering and subjective measures of cognitive impairment. The author's study aimed to examine the associations of both formal and informal volunteering with older adults' objective and subjective cognition and explore the moderating role of race/ethnicity in such associations

Prenatal Diagnosis of Pulmonary Sequestration by Ultrasound and Magnetic Resonance Imaging

A 36-year-old multigravida, G2P1, underwent routine ultrasound scan at 22+1 weeks of gestation, which revealed a single normally growing fetus with left intrathoracic mass and left displacement of the cardiac apex. The left intrathoracic wedge-shaped hyperechogenic mass, measuring 32 × 25 mm in size, was situated at the lower portion of the left lung. A combination of color and power Doppler ultrasound allowed visualization of a vessel arising from the descending aorta, which supplied the mass. The diagnosis of extralobar pulmonary sequestration was made. Magnetic resonance imaging (MRI) was also performed and revealed a well-defined mass with homogeneous high-signal intensity when compared with normal lung tissue in the left upper lung field, which was compatible with pulmonary sequestration. The pulmonary mass was followed up by color and power Doppler every 2 weeks. The peak velocity of 11.85 cm/sec and the diameter of the feeding artery of 1.19 mm gradually decreased and disappeared 8 weeks later. The intrathoracic mass disappeared 10 weeks later at 32+1 gestational weeks. Repeat MRI also revealed spontaneous regression of the mass in favor of resorption of sequestration. The fetus was delivered at 38+1 gestational weeks. A male newborn weighing 2,520 g was spontaneously delivered with an Apgar score of 8 at 1 minute and 9 at 5 minutes. In our patient, it is suggested that progressive decreases in the peak velocity of the feeding vessel heralded the spontaneous regression of pulmonary sequestration not associated with hydrops/hydrothorax

Scantegrity II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy

On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for the mayor and city council members using the Scantegrity II voting system—the first time any end-to-end (E2E) voting system with ballot privacy has been used in a binding governmental election. This case study describes the various efforts that went into the election—including the improved design and implementation of the voting system, streamlined procedures, agreements with the city, and assessments of the experiences of voters and poll workers. The election, with 1728 voters from six wards, involved paper ballots with invisible-ink confirmation codes, instant-runoff voting with write-ins, early and absentee (mail-in) voting, dual-language ballots, provisional ballots, privacy sleeves, any-which-way scanning with parallel conventional desktop scanners, end-to-end verifiability based on optional web-based voter verification of votes cast, a full hand recount, thresholded authorities, three independent outside auditors, fully-disclosed software, and exit surveys for voters and pollworkers. Despite some glitches, the use of Scantegrity II was a success, demonstrating that E2E cryptographic voting systems can be effectively used and accepted by the general public.United States. Dept. of Defense (IASP grant H98230-08-1-0334)United States. Dept. of Defense (IASP grant H98230-09-1-0404)National Science Foundation (U.S.) (Grant no. CNS 0831149

Resveratrol Impedes the Stemness, Epithelial-Mesenchymal Transition, and Metabolic Reprogramming of Cancer Stem Cells in Nasopharyngeal Carcinoma through p53 Activation

Cancer stem cells (CSCs) are able to self-renew and are refractory to cancer treatment. To investigate the effects of resveratrol on CSCs of nasopharyngeal carcinoma (NPC), we employed a behavior selection strategy to isolate CSCs based on radioresistance, chemoresistance, and tumor sphere formation ability. These NPC CSCs displayed stem cell properties and underwent metabolic shift to predominately rely on glycolysis for energy supply. Intriguingly, we found that resveratrol turned off the metabolic switch, increased the reactive oxygen species (ROS) level, and depolarized mitochondrial membranes. These alterations in metabolism occurred concomitantly with the suppression of CSC properties including resistance to therapy, self-renewal capacity, tumor initiation capacity, and metastatic potential in NPC CSCs. We found that resveratrol impeded CSC properties through the activation of p53 and this effect could be reversed by knockdown of p53. Furthermore, resveratrol suppressed the stemness and EMT through reactivating p53 and inducing miR-145 and miR-200c, which were downregulated in NPC CSCs. In conclusion, we demonstrated that resveratrol employed the p53 pathway in regulating stemness, EMT, and metabolic reprogramming. Further investigation of the molecular mechanism of p53 activation by resveratrol may provide useful information for the development of novel therapies for cancer treatment through targeting to CSCs

Patients Infected with CRF07_BC Have Significantly Lower Viral Loads than Patients with HIV-1 Subtype B: Mechanism and Impact on Disease Progression

The circulating recombinant form (CRF) 07_BC is the most prevalent HIV-1 strain among injection drug users (IDUs) in Taiwan. It contains a 7 amino-acid deletion in its p6gag. We conducted a cohort study to compare viral loads and CD4 cell count changes between patients infected with subtype B and CRF07_BC and to elucidate its mechanism. Twenty-one patients infected with CRF07_BC and 59 patients with subtype B were selected from a cohort of 667 HIV-1/AIDS patients whom have been followed up for 3 years. Generalized estimated equation was used to analyze their clinical data and the results showed that patients infected with CRF07_BC had significantly lower viral loads (about 58,000 copies per ml less) than patients with subtype B infection (p = 0.002). The replicative capacity of nine CRF07_BC and four subtype B isolates were compared and the results showed that the former had significantly lower replicative capacity than the latter although all of them were CCR5- tropic and non-syncytium inducing viruses. An HIV-1-NL4-3 mutant virus which contains a 7 amino-acid deletion in p6gag (designated as 7d virus) was generated and its live cycle was investigated. The results showed that 7d virus had significantly lower replication capacity, poorer protease-mediated processing and viral proteins production. Electron microscopic examination of cells infected with wild-type or 7d virus demonstrated that the 7d virus had poorer and slower viral maturation processes: more viruses attached to the cell membrane and higher proportion of immature virions outside the cells. The interaction between p6gag and Alix protein was less efficient in cells infected with 7d virus. In conclusion, patients infected with CRF07_BC had significantly lower viral loads than patients infected with subtype B and it may due to the deletion of 7 amino acids which overlaps with Alix protein-binding domain of the p6gag

Harmonising and linking biomedical and clinical data across disparate data archives to enable integrative cross-biobank research

A wealth of biospecimen samples are stored in modern globally distributed biobanks. Biomedical researchers worldwide need to be able to combine the available resources to improve the power of large-scale studies. A prerequisite for this effort is to be able to search and access phenotypic, clinical and other information about samples that are currently stored at biobanks in an integrated manner. However, privacy issues together with heterogeneous information systems and the lack of agreed-upon vocabularies have made specimen searching across multiple biobanks extremely challenging. We describe three case studies where we have linked samples and sample descriptions in order to facilitate global searching of available samples for research. The use cases include the ENGAGE (European Network for Genetic and Genomic Epidemiology) consortium comprising at least 39 cohorts, the SUMMIT (surrogate markers for micro- and macro-vascular hard endpoints for innovative diabetes tools) consortium and a pilot for data integration between a Swedish clinical health registry and a biobank. We used the Sample avAILability (SAIL) method for data linking: first, created harmonised variables and then annotated and made searchable information on the number of specimens available in individual biobanks for various phenotypic categories. By operating on this categorised availability data we sidestep many obstacles related to privacy that arise when handling real values and show that harmonised and annotated records about data availability across disparate biomedical archives provide a key methodological advance in pre-analysis exchange of information between biobanks, that is, during the project planning phase