213 research outputs found

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

    Get PDF
    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

    Get PDF
    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

    Prenatal Diagnosis of Pulmonary Sequestration by Ultrasound and Magnetic Resonance Imaging

    Get PDF
    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

    Brain Metastasis of Ovarian Epithelial Carcinoma

    Get PDF

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

    Get PDF
    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

    Get PDF
    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

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

    Get PDF
    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
    • …
    corecore