Feeding Three Birds With One Scone: A Generic Duplication Based Countermeasure To Fault Attacks (Extended Version)

In the current world of the Internet-of-things and edge computing, computations are increasingly performed locally on small connected systems. As such, those devices are often vulnerable to adversarial physical access, enabling a plethora of physical attacks which is a challenge even if such devices are built for security. As cryptography is one of the cornerstones of secure communication among devices, the pertinence of fault attacks is becoming increasingly apparent in a setting where a device can be easily accessed in a physical manner. In particular, two recently proposed fault attacks, Statistical Ineffective Fault Attack (SIFA) and the Fault Template Attack (FTA) are shown to be formidable due to their capability to bypass the common duplication based countermeasures. Duplication based countermeasures, deployed to counter the Differential Fault Attack (DFA), work by duplicating the execution of the cipher followed by a comparison to sense the presence of any effective fault, followed by an appropriate recovery procedure. While a handful of countermeasures are proposed against SIFA, no such countermeasure is known to thwart FTA to date. In this work, we propose a novel countermeasure based on duplication, which can protect against both SIFA and FTA. The proposal is also lightweight with only a marginally additional cost over simple duplication based countermeasures. Our countermeasure further protects against all known variants of DFA, including Selmke, Heyszl, Sigl’s attack from FDTC 2016. It does not inherently leak side-channel information and is easily adaptable for any symmetric key primitive. The validation of our countermeasure has been done through gate-level fault simulation

A Novel Duplication Based Countermeasure To Statistical Ineffective Fault Analysis

The Statistical Ineffective Fault Analysis, SIFA, is a recent addition to the family of fault based cryptanalysis techniques. SIFA based attack is shown to be formidable and is able to bypass virtually all the conventional fault attack countermeasures. Reported countermeasures to SIFA incur overheads of the order of at least thrice the unprotected cipher. We propose a novel countermeasure that reduces the overhead (compared to all existing countermeasures) as we rely on a simple duplication based technique. In essence, our countermeasure eliminates the observation that enables the attacker to perform SIFA. The core idea we use here is to choose the encoding for the state bits randomly. In this way, each bit of the state is free from statistical bias, which renders SIFA unusable. Our approach protects against stuck-at faults and also does not rely on any side channel countermeasure. We show the effectiveness of the countermeasure through an open source gate-level fault attack simulation tool. Our approach is probably the simplest and the most cost effective

Physics Potential of the ICAL detector at the India-based Neutrino Observatory (INO)

The upcoming 50 kt magnetized iron calorimeter (ICAL) detector at the India-based Neutrino Observatory (INO) is designed to study the atmospheric neutrinos and antineutrinos separately over a wide range of energies and path lengths. The primary focus of this experiment is to explore the Earth matter effects by observing the energy and zenith angle dependence of the atmospheric neutrinos in the multi-GeV range. This study will be crucial to address some of the outstanding issues in neutrino oscillation physics, including the fundamental issue of neutrino mass hierarchy. In this document, we present the physics potential of the detector as obtained from realistic detector simulations. We describe the simulation framework, the neutrino interactions in the detector, and the expected response of the detector to particles traversing it. The ICAL detector can determine the energy and direction of the muons to a high precision, and in addition, its sensitivity to multi-GeV hadrons increases its physics reach substantially. Its charge identification capability, and hence its ability to distinguish neutrinos from antineutrinos, makes it an efficient detector for determining the neutrino mass hierarchy. In this report, we outline the analyses carried out for the determination of neutrino mass hierarchy and precision measurements of atmospheric neutrino mixing parameters at ICAL, and give the expected physics reach of the detector with 10 years of runtime. We also explore the potential of ICAL for probing new physics scenarios like CPT violation and the presence of magnetic monopoles.Comment: 139 pages, Physics White Paper of the ICAL (INO) Collaboration, Contents identical with the version published in Pramana - J. Physic

Membrane Topology and Predicted RNA-Binding Function of the ‘Early Responsive to Dehydration (ERD4)’ Plant Protein

Functional annotation of uncharacterized genes is the main focus of computational methods in the post genomic era. These tools search for similarity between proteins on the premise that those sharing sequence or structural motifs usually perform related functions, and are thus particularly useful for membrane proteins. Early responsive to dehydration (ERD) genes are rapidly induced in response to dehydration stress in a variety of plant species. In the present work we characterized function of Brassica juncea ERD4 gene using computational approaches. The ERD4 protein of unknown function possesses ubiquitous DUF221 domain (residues 312–634) and is conserved in all plant species. We suggest that the protein is localized in chloroplast membrane with at least nine transmembrane helices. We detected a globular domain of 165 amino acid residues (183–347) in plant ERD4 proteins and expect this to be posited inside the chloroplast. The structural-functional annotation of the globular domain was arrived at using fold recognition methods, which suggested in its sequence presence of two tandem RNA-recognition motif (RRM) domains each folded into βαββαβ topology. The structure based sequence alignment with the known RNA-binding proteins revealed conservation of two non-canonical ribonucleoprotein sub-motifs in both the putative RNA-recognition domains of the ERD4 protein. The function of highly conserved ERD4 protein may thus be associated with its RNA-binding ability during the stress response. This is the first functional annotation of ERD4 family of proteins that can be useful in designing experiments to unravel crucial aspects of stress tolerance mechanism

Development and evaluation of real time RT-PCR assays for detection and typing of Bluetongue virus

Bluetongue virus is the type species of the genus Orbivirus, family Reoviridae. Bluetongue viruses (BTV) are transmitted between their vertebrate hosts primarily by biting midges (Culicoides spp.) in which they also replicate. Consequently BTV distribution is dependent on the activity, geographic distribution, and seasonal abundance of Culicoides spp. The virus can also be transmitted vertically in vertebrate hosts, and some strains/serotypes can be transmitted horizontally in the absence of insect vectors. The BTV genome is composed of ten linear segments of double-stranded (ds) RNA, numbered in order of decreasing size (Seg-1 to Seg-10). Genome segment 2 (Seg-2) encodes outer-capsid protein VP2, the most variable BTV protein and the primary target for neutralising antibodies. Consequently VP2 (and Seg-2) determine the identity of the twenty seven serotypes and two additional putative BTV serotypes that have been recognised so far. Current BTV vaccines are serotype specific and typing of outbreak strains is required in order to deploy appropriate vaccines. We report development and evaluation of multiple ‘TaqMan’ fluorescence-probe based quantitative real-time type-specific RT-PCR assays targeting Seg-2 of the 27+1 BTV types. The assays were evaluated using orbivirus isolates from the ‘Orbivirus Reference Collection’ (ORC) held at The Pirbright Institute. The assays are BTV-type specific and can be used for rapid, sensitive and reliable detection / identification (typing) of BTV RNA from samples of infected blood, tissues, homogenised Culicoides, or tissue culture supernatants. None of the assays amplified cDNAs from closely related but heterologous orbiviruses, or from uninfected host animals or cell cultures

Future and potential spending on health 2015-40 : development assistance for health, and government, prepaid private, and out-of-pocket health spending in 184 countries

Background The amount of resources, particularly prepaid resources, available for health can affect access to health care and health outcomes. Although health spending tends to increase with economic development, tremendous variation exists among health financing systems. Estimates of future spending can be beneficial for policy makers and planners, and can identify financing gaps. In this study, we estimate future gross domestic product (GDP), all-sector government spending, and health spending disaggregated by source, and we compare expected future spending to potential future spending. Methods We extracted GDP, government spending in 184 countries from 1980-2015, and health spend data from 1995-2014. We used a series of ensemble models to estimate future GDP, all-sector government spending, development assistance for health, and government, out-of-pocket, and prepaid private health spending through 2040. We used frontier analyses to identify patterns exhibited by the countries that dedicate the most funding to health, and used these frontiers to estimate potential health spending for each low-income or middle-income country. All estimates are inflation and purchasing power adjusted. Findings We estimated that global spending on health will increase from US$9.21 trillion in 2014 to$24.24 trillion (uncertainty interval [UI] 20.47-29.72) in 2040. We expect per capita health spending to increase fastest in upper-middle-income countries, at 5.3% (UI 4.1-6.8) per year. This growth is driven by continued growth in GDP, government spending, and government health spending. Lower-middle income countries are expected to grow at 4.2% (3.8-4.9). High-income countries are expected to grow at 2.1% (UI 1.8-2.4) and low-income countries are expected to grow at 1.8% (1.0-2.8). Despite this growth, health spending per capita in low-income countries is expected to remain low, at $154 (UI 133-181) per capita in 2030 and$195 (157-258) per capita in 2040. Increases in national health spending to reach the level of the countries who spend the most on health, relative to their level of economic development, would mean $321 (157-258) per capita was available for health in 2040 in low-income countries. Interpretation Health spending is associated with economic development but past trends and relationships suggest that spending will remain variable, and low in some low-resource settings. Policy change could lead to increased health spending, although for the poorest countries external support might remain essential.Peer reviewe

Free Cysteine Modulates the Conformation of Human C/EBP Homologous Protein

The C/EBP Homologous Protein (CHOP) is a nuclear protein that is integral to the unfolded protein response culminating from endoplasmic reticulum stress. Previously, CHOP was shown to comprise extensive disordered regions and to self-associate in solution. In the current study, the intrinsically disordered nature of this protein was characterized further by comprehensive in silico analyses. Using circular dichroism, differential scanning calorimetry and nuclear magnetic resonance, we investigated the global conformation and secondary structure of CHOP and demonstrated, for the first time, that conformational changes in this protein can be induced by the free amino acid l-cysteine. Addition of l-cysteine caused a significant dose-dependent decrease in the protein helicity – dropping from 69.1% to 23.8% in the presence of 1 mM of l-cysteine – and a sequential transition to a more disordered state, unlike that caused by thermal denaturation. Furthermore, the presence of small amounts of free amino acid (80 µM, an 8∶1 cysteine∶CHOP ratio) during CHOP thermal denaturation altered the molecular mechanism of its melting process, leading to a complex, multi-step transition. On the other hand, high levels (4 mM) of free l-cysteine seemed to cause a complete loss of rigid cooperatively melting structure. These results suggested a potential regulatory function of l-cysteine which may lead to changes in global conformation of CHOP in response to the cellular redox state and/or endoplasmic reticulum stress

Future and potential spending on health 2015-40: Development assistance for health, and government, prepaid private, and out-of-pocket health spending in 184 countries

Background: The amount of resources, particularly prepaid resources, available for health can affect access to health care and health outcomes. Although health spending tends to increase with economic development, tremendous variation exists among health financing systems. Estimates of future spending can be beneficial for policy makers and planners, and can identify financing gaps. In this study, we estimate future gross domestic product (GDP), all-sector government spending, and health spending disaggregated by source, and we compare expected future spending to potential future spending. Methods: We extracted GDP, government spending in 184 countries from 1980-2015, and health spend data from 1995-2014. We used a series of ensemble models to estimate future GDP, all-sector government spending, development assistance for health, and government, out-of-pocket, and prepaid private health spending through 2040. We used frontier analyses to identify patterns exhibited by the countries that dedicate the most funding to health, and used these frontiers to estimate potential health spending for each low-income or middle-income country. All estimates are inflation and purchasing power adjusted. Findings: We estimated that global spending on health will increase from US$9.21 trillion in 2014 to$24.24 trillion (uncertainty interval [UI] 20.47-29.72) in 2040. We expect per capita health spending to increase fastest in upper-middle-income countries, at 5.3% (UI 4.1-6.8) per year. This growth is driven by continued growth in GDP, government spending, and government health spending. Lower-middle income countries are expected to grow at 4.2% (3.8-4.9). High-income countries are expected to grow at 2.1% (UI 1.8-2.4) and low-income countries are expected to grow at 1.8% (1.0-2.8). Despite this growth, health spending per capita in low-income countries is expected to remain low, at $154 (UI 133-181) per capita in 2030 and$195 (157-258) per capita in 2040. Increases in national health spending to reach the level of the countries who spend the most on health, relative to their level of economic development, would mean $321 (157-258) per capita was available for health in 2040 in low-income countries. Interpretation: Health spending is associated with economic development but past trends and relationships suggest that spending will remain variable, and low in some low-resource settings. Policy change could lead to increased health spending, although for the poorest countries external support might remain essential