Making Code Voting Secure against Insider Threats using Unconditionally Secure MIX Schemes and Human PSMT Protocols

Code voting was introduced by Chaum as a solution for using a possibly infected-by-malware device to cast a vote in an electronic voting application. Chaum's work on code voting assumed voting codes are physically delivered to voters using the mail system, implicitly requiring to trust the mail system. This is not necessarily a valid assumption to make - especially if the mail system cannot be trusted. When conspiring with the recipient of the cast ballots, privacy is broken. It is clear to the public that when it comes to privacy, computers and "secure" communication over the Internet cannot fully be trusted. This emphasizes the importance of using: (1) Unconditional security for secure network communication. (2) Reduce reliance on untrusted computers. In this paper we explore how to remove the mail system trust assumption in code voting. We use PSMT protocols (SCN 2012) where with the help of visual aids, humans can carry out $\mod 10$ addition correctly with a 99\% degree of accuracy. We introduce an unconditionally secure MIX based on the combinatorics of set systems. Given that end users of our proposed voting scheme construction are humans we \emph{cannot use} classical Secure Multi Party Computation protocols. Our solutions are for both single and multi-seat elections achieving: \begin{enumerate}[i)] \item An anonymous and perfectly secure communication network secure against a $t$-bounded passive adversary used to deliver voting, \item The end step of the protocol can be handled by a human to evade the threat of malware. \end{enumerate} We do not focus on active adversaries

Internal and external cooling methods and their effect on body temperature, thermal perception and dexterity

© 2018 The Authors. Published by PLOS. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1371/journal.pone.0191416© 2018 Maley et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Objective The present study aimed to compare a range of cooling methods possibly utilised by occupational workers, focusing on their effect on body temperature, perception and manual dexterity. Methods Ten male participants completed eight trials involving 30 min of seated rest followed by 30 min of cooling or control of no cooling (CON) (34C, 58% relative humidity). The cooling methods utilised were: ice cooling vest (CV0), phase change cooling vest melting at 14C (CV14), evaporative cooling vest (CVEV), arm immersion in 10C water (AI), portable water-perfused suit (WPS), heliox inhalation (HE) and ice slushy ingestion (SL). Immediately before and after cooling, participants were assessed for fine (Purdue pegboard task) and gross (grip and pinch strength) manual dexterity. Rectal and skin temperature, as well as thermal sensation and comfort, were monitored throughout. Results Compared with CON, SL was the only method to reduce rectal temperature (P = 0.012). All externally applied cooling methods reduced skin temperature (P0.05). Conclusion The present study observed that ice ingestion or ice applied to the skin produced the greatest effect on rectal and skin temperature, respectively. AI should not be utilised if workers require subsequent fine manual dexterity. These results will help inform future studies investigating appropriate pre-cooling methods for the occupational worker.This project is financially supported by the US Government through the Technical Support Working Group within the Combating Terrorism Technical Support Office.Published versio

Classical and semi-classical energy conditions

The standard energy conditions of classical general relativity are (mostly) linear in the stress-energy tensor, and have clear physical interpretations in terms of geodesic focussing, but suffer the significant drawback that they are often violated by semi-classical quantum effects. In contrast, it is possible to develop non-standard energy conditions that are intrinsically non-linear in the stress-energy tensor, and which exhibit much better well-controlled behaviour when semi-classical quantum effects are introduced, at the cost of a less direct applicability to geodesic focussing. In this article we will first review the standard energy conditions and their various limitations. (Including the connection to the Hawking--Ellis type I, II, III, and IV classification of stress-energy tensors). We shall then turn to the averaged, nonlinear, and semi-classical energy conditions, and see how much can be done once semi-classical quantum effects are included.Comment: V1: 25 pages. Draft chapter, on which the related chapter of the book "Wormholes, Warp Drives and Energy Conditions" (to be published by Springer), will be based. V2: typos fixed. V3: small typo fixe

Shot noise in mesoscopic systems

This is a review of shot noise, the time-dependent fluctuations in the electrical current due to the discreteness of the electron charge, in small conductors. The shot-noise power can be smaller than that of a Poisson process as a result of correlations in the electron transmission imposed by the Pauli principle. This suppression takes on simple universal values in a symmetric double-barrier junction (suppression factor 1/2), a disordered metal (factor 1/3), and a chaotic cavity (factor 1/4). Loss of phase coherence has no effect on this shot-noise suppression, while thermalization of the electrons due to electron-electron scattering increases the shot noise slightly. Sub-Poissonian shot noise has been observed experimentally. So far unobserved phenomena involve the interplay of shot noise with the Aharonov-Bohm effect, Andreev reflection, and the fractional quantum Hall effect.Comment: 37 pages, Latex, 10 figures (eps). To be published in "Mesoscopic Electron Transport," edited by L. P. Kouwenhoven, G. Schoen, and L. L. Sohn, NATO ASI Series E (Kluwer Academic Publishing, Dordrecht

Proteomic analysis of Artemisia annua – towards elucidating the biosynthetic pathways of the antimalarial pro-drug artemisinin

Background: MS-based proteomics was applied to the analysis of the medicinal plant Artemisia annua, exploiting a recently published contig sequence database (Graham et al. (2010) Science 327, 328–331) and other genomic and proteomic sequence databases for comparison. A. annua is the predominant natural source of artemisinin, the precursor for artemisinin-based combination therapies (ACTs), which are the WHO-recommended treatment for P. falciparum malaria. Results: The comparison of various databases containing A. annua sequences (NCBInr/viridiplantae, UniProt/ viridiplantae, UniProt/A. annua, an A. annua trichome Trinity contig database, the above contig database and another A. annua EST database) revealed significant differences in respect of their suitability for proteomic analysis, showing that an organism-specific database that has undergone extensive curation, leading to longer contig sequences, can greatly increase the number of true positive protein identifications, while reducing the number of false positives. Compared to previously published data an order-of-magnitude more proteins have been identified from trichome-enriched A. annua samples, including proteins which are known to be involved in the biosynthesis of artemisinin, as well as other highly abundant proteins, which suggest additional enzymatic processes occurring within the trichomes that are important for the biosynthesis of artemisinin. Conclusions: The newly gained information allows for the possibility of an enzymatic pathway, utilizing peroxidases, for the less well understood final stages of artemisinin’s biosynthesis, as an alternative to the known non-enzymatic in vitro conversion of dihydroartemisinic acid to artemisinin. Data are available via ProteomeXchange with identifier PXD000703

The Rewiring of Ubiquitination Targets in a Pathogenic Yeast Promotes Metabolic Flexibility, Host Colonization and Virulence

Funding: This work was funded by the European Research Council [http://erc.europa.eu/], AJPB (STRIFE Advanced Grant; C-2009-AdG-249793). The work was also supported by: the Wellcome Trust [www.wellcome.ac.uk], AJPB (080088, 097377); the UK Biotechnology and Biological Research Council [www.bbsrc.ac.uk], AJPB (BB/F00513X/1, BB/K017365/1); the CNPq-Brazil [http://cnpq.br], GMA (Science without Borders fellowship 202976/2014-9); and the National Centre for the Replacement, Refinement and Reduction of Animals in Research [www.nc3rs.org.uk], DMM (NC/K000306/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript. Acknowledgments We thank Dr. Elizabeth Johnson (Mycology Reference Laboratory, Bristol) for providing strains, and the Aberdeen Proteomics facility for the biotyping of S. cerevisiae clinical isolates, and to Euroscarf for providing S. cerevisiae strains and plasmids. We are grateful to our Microscopy Facility in the Institute of Medical Sciences for their expert help with the electron microscopy, and to our friends in the Aberdeen Fungal Group for insightful discussions.Peer reviewedPublisher PD

A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package

Atherosclerotic renal artery stenosis is prevalent in cardiorenal patients but not associated with left ventricular function and myocardial fibrosis as assessed by cardiac magnetic resonance imaging

<p>Abstract</p> <p>Background</p> <p>Atherosclerotic renal artery stenosis (ARAS) is common in cardiovascular diseases and associated with hypertension, renal dysfunction and/or heart failure. There is a paucity of data about the prevalence and the role of ARAS in the pathophysiology of combined chronic heart failure (CHF) and chronic kidney disease (CKD). We investigated the prevalence in patients with combined CHF/CKD and its association with renal function, cardiac dysfunction and the presence and extent of myocardial fibrosis.</p> <p>Methods</p> <p>The EPOCARES study (ClinTrialsNCT00356733) investigates the role of erythropoietin in anaemic patients with combined CHF/CKD. Eligible subjects underwent combined cardiac magnetic resonance imaging (cMRI), including late gadolinium enhancement, with magnetic resonance angiography of the renal arteries (MRA).</p> <p>Results</p> <p>MR study was performed in 37 patients (median age 74 years, eGFR 37.4 ± 15.6 ml/min, left ventricular ejection fraction (LVEF) 43.3 ± 11.2%), of which 21 (56.8%) had ARAS (defined as stenosis >50%). Of these 21 subjects, 8 (21.6%) had more severe ARAS >70% and 8 (21.6%) had a bilateral ARAS >50% (or previous bilateral PTA). There were no differences in age, NT-proBNP levels and medication profile between patients with ARAS versus those without. Renal function declined with the severity of ARAS (p = 0.03), although this was not significantly different between patients with ARAS versus those without. Diabetes mellitus was more prevalent in patients without ARAS (56.3%) against those with ARAS (23.8%) (p = 0.04). The presence and extent of late gadolinium enhancement, depicting myocardial fibrosis, did not differ (p = 0.80), nor did end diastolic volume (p = 0.60), left ventricular mass index (p = 0.11) or LVEF (p = 0.15). Neither was there a difference in the presence of an ischemic pattern of late enhancement in patients with ARAS versus those without.</p> <p>Conclusions</p> <p>ARAS is prevalent in combined CHF/CKD and its severity is associated with a decline in renal function. However, its presence does not correlate with a worse LVEF, a higher left ventricular mass or with the presence and extent of myocardial fibrosis. Further research is required for the role of ARAS in the pathophysiology of combined chronic heart and renal failure.</p

Deprescribing interventions and their impact on medication adherence in community-dwelling older adults with polypharmacy: a systematic review

Background: Polypharmacy, and the associated adverse drug events such as non-adherence to prescriptions, is a common problem for elderly people living with multiple comorbidities. Deprescribing, i.e. the gradual withdrawal from medications with supervision by a healthcare professional, is regarded as a means of reducing adverse effects of multiple medications including non-adherence. This systematic review examines the evidence of deprescribing as an effective strategy for improving medication adherence amongst older, community dwelling adults. Methods: A mixed methods review was undertaken. Eight bibliographic database and two clinical trials registers were searched between May and December 2017. Results were double screened in accordance with pre-defined inclusion/exclusion criteria related to polypharmacy, deprescribing and adherence in older, community dwelling populations. The Mixed Methods Appraisal Tool (MMAT) was used for quality appraisal and an a priori data collection instrument was used. For the quantitative studies, a narrative synthesis approach was taken. The qualitative data was analysed using framework analysis. Findings were integrated using a mixed methods technique. The review was performed in accordance with the PRISMA reporting statement. Results: A total of 22 original studies were included, of which 12 were RCTs. Deprescribing with adherence as an outcome measure was identified in randomised controlled trials (RCTs), observational and cohort studies from 13 countries between 1996 and 2017. There were 17 pharmacy-led interventions; others were led by General Practitioners (GP) and nurses. Four studies demonstrated an overall reduction in medications of which all studies corresponded with improved adherence. A total of thirteen studies reported improved adherence of which 5 were RCTs. Adherence was reported as a secondary outcome in all but one study. Conclusions: There is insufficient evidence to show that deprescribing improves medication adherence. Only 13 studies (of 22) reported adherence of which only 5 were randomised controlled trials. Older people are particularly susceptible to non-adherence due to multi-morbidity associated with polypharmacy. Bio-psycho-social factors including health literacy and multi-disciplinary team interventions influence adherence. The authors recommend further study into the efficacy and outcomes of medicines management interventions. A consensus on priority outcome measurements for prescribed medications is indicated

Azimuthal anisotropy and correlations at large transverse momenta in p+pp+p and Au+Au collisions at sNN\sqrt{s_{_{NN}}}= 200 GeV

Results on high transverse momentum charged particle emission with respect to the reaction plane are presented for Au+Au collisions at $\sqrt{s_{_{NN}}}$= 200 GeV. Two- and four-particle correlations results are presented as well as a comparison of azimuthal correlations in Au+Au collisions to those in $p+p$ at the same energy. Elliptic anisotropy, $v_2$, is found to reach its maximum at $p_t \sim 3$ GeV/c, then decrease slowly and remain significant up to $p_t\approx 7$ -- 10 GeV/c. Stronger suppression is found in the back-to-back high-$p_t$ particle correlations for particles emitted out-of-plane compared to those emitted in-plane. The centrality dependence of $v_2$ at intermediate $p_t$ is compared to simple models based on jet quenching.Comment: 4 figures. Published version as PRL 93, 252301 (2004