High-Speed Fully Homomorphic Encryption Over the Integers

A fully homomorphic encryption (FHE) scheme is envisioned as a key cryptographic tool in building a secure and reliable cloud computing environment, as it allows arbitrary evaluation of a ciphertext without revealing the plaintext. However, existing FHE implementations remain impractical due to very high time and resource costs. To the authors’ knowledge, this paper presents the first hardware implementation of a full encryption primitive for FHE over the integers using FPGA technology. A large-integer multiplier architecture utilising Integer-FFT multiplication is proposed, and a large-integer Barrett modular reduction module is designed incorporating the proposed multiplier. The encryption primitive used in the integer-based FHE scheme is designed employing the proposed multiplier and modular reduction modules. The designs are verified using the Xilinx Virtex-7 FPGA platform. Experimental results show that a speed improvement factor of up to 44 is achievable for the hardware implementation of the FHE encryption scheme when compared to its corresponding software implementation. Moreover, performance analysis shows further speed improvements of the integer-based FHE encryption primitives may still be possible, for example through further optimisations or by targeting an ASIC platform.

Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.

MarcoPolo-R near earth asteroid sample return mission

MarcoPolo-R is a sample return mission to a primitive Near-Earth Asteroid (NEA) proposed in collaboration with NASA. It will rendezvous with a primitive NEA, scientifically characterize it at multiple scales,and return a unique sample to Earth unaltered by the atmospheric entry process or terrestrial weathering. MarcoPolo-R will return bulk samples (up to 2 kg) from an organic-rich binary asteroid to Earth for laboratory analyses, allowing us to: explore the origin of planetary materials and initial stages of habitable planet formation; identify and characterize the organics and volatiles in a primitive asteroid; understand the unique geomorphology, dynamics and evolution of a binaryNEA. This project is based on the previous Marco Polo mission study,which was selected for the Assessment Phase of the first round of Cosmic Vision. Its scientific rationale was highly ranked by ESA committees andit was not selected only because the estimated cost was higher than theallotted amount for an M class mission. The cost of Marco Polo-R will be reduced to within the ESA medium mission budget by collaboration withAPL (John Hopkins University) and JPL in the NASA program for coordination with ESA's Cosmic Vision Call. The baseline target is a binary asteroid (175706) 1996 FG3, which offers a very efficient operational and technical mission profile. A binary target also providesenhanced science return. The choice of this target will allow newinvestigations to be performed more easily than at a single object, andalso enables investigations of the fascinating geology and geophysics ofasteroids that are impossible at a single object. Several launch windows have been identified in the time-span 2020-2024. A number of otherpossible primitive single targets of high scientific interest have beenidentified covering a wide range of possible launch dates. The baselinemission scenario of Marco Polo-R to 1996 FG3 is as follows: a singleprimary spacecraft provided by ESA, carrying the Earth Re-entry Capsule, sample acquisition and transfer system provided by NASA, will be launched by a Soyuz-Fregat rocket from Kourou into GTO and using two space segment stages. Two similar missions with two launch windows, in 2021 and 2022 and for both sample return in 2029 (with mission durationof 7 and 8 years), have been defined. Earlier or later launches, in 2020 or 2024, also offer good opportunities. All manoeuvres are carried out by a chemical propulsion system. MarcoPolo-R takes advantage of three industrial studies completed as part of the previous Marco Polo mission (see ESA/SRE (2009)3, Marco Polo Yellow Book) and of the expertise of the consortium led by Dr. A.F. Cheng (PI of the NASA NEAR Shoemaker mission) of the JHU-APL, including JPL, NASA ARC, NASA LaRC, and MIT.

Spitzer observations of the asteroid-comet transition object and potential spacecraft target 107P (4015) Wilson-Harrington

Context: Near-Earth asteroid-comet transition object 107P/ (4015) Wilson-Harrington is a possible target of the joint European Space Agency (ESA) and Japanese Aerospace Exploration Agency (JAXA) Marco Polo sample return mission. Physical studies of this object are relevant to this mission, and also to understanding its asteroidal or cometary nature. Aims: Our aim is to obtain significant new constraints on the surface thermal properties of this object. Methods: We present mid-infrared photometry in two filters (16 and 22 μm) obtained with NASA's Spitzer Space Telescope on February 12, 2007, and results from the application of the Near Earth Asteroid Thermal Model (NEATM). We obtained high S/N in two mid-IR bands allowing accurate measurements of its thermal emission. Results: We obtain a well constrained beaming parameter (η = 1.39±0.26) and obtain a diameter and geometric albedo of D = 3.46±0.32 km, and pV = 0.059±0.011. We also obtain similar results when we apply this best-fitting thermal model to single-band mid-IR photometry reported by Campins et al. (1995, P&SS, 43, 733), Kraemer et al. (2005, AJ, 130, 2363) and Reach et al. (2007, Icarus, 191, 298). Conclusions: The albedo of 4015 Wilson-Harrington is low, consistent with those of comet nuclei and primitive C-, P-, D-type asteorids. We establish a rough lower limit for the thermal inertia of W-H of 60 Jm-2s-0.5 K-1 when it is at r = 1 AU, which is slightly over the limit of 30 Jm-2 s-0.5 K-1 derived by Groussin et al. (2009, Icarus, 199, 568) for the thermal inertia of the nucleus of comet 22P/Kopff.

Northern Ireland: Religion, Religiosity and Politics in a Changing Society

The Handbook of Global Contemporary Christianity: Themes and Developments in Culture, Politics, and Society maps the transformations, as well as the continuities, of the largest of the major religions - engaging with the critical global issues which relate to the faith in a fast changing world. International experts in the area offer contributions focusing on global movements; regional trends and developments; Christianity, the state, politics and polity; and Christianity and social diversity. Collectively the contributors provide a comprehensive treatment of health of the religion as Christianity enters its third millennium in existence and details the challenges and dilemmas facing its various expressions, both old and new. The volume is a companion to the Handbook of Contemporary Global Christianity: Movements, Institutions, and Allegiance.

Practical Lattice-Based Digital Signature Schemes

Digital signatures are an important primitive for building secure systems and are used in most real-world security protocols. However, almost all popular signature schemes are either based on the factoring assumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case of classical cryptanalytic advances or progress on the development of quantum computers, the hardness of these closely related problems might be seriously weakened. A potential alternative approach is the construction of signature schemes based on the hardness of certain lattice problems that are assumed to be intractable by quantum computers. Due to significant research advancements in recent years, lattice-based schemes have now become practical and appear to be a very viable alternative to number-theoretic cryptography. In this article, we focus on recent developments and the current state of the art in lattice-based digital signatures and provide a comprehensive survey discussing signature schemes with respect to practicality. Additionally, we discuss future research areas that are essential for the continued development of lattice-based cryptography.

Spiritual capital and democratization in Zimbabwe:A case study of a progressive charismatic congregation

Throughout Africa, charismatic Christianity has been caricatured as an inhibitor of democratization. Its adherents are said either to withdraw from the rough and tumble of politics ('pietism') or to preach a prosperity gospel that encourages believers to pour their resources into their churches in the hope that God will 'bless' them. Both courses of action are said to encourage such people to be politically quietist, with no interest in democratization or other forms of political activity. This is said to thwart democratization. This article utilizes an ethnographic case study of a 'progressive' charismatic congregation in Harare, Zimbabwe, in 2007, to provide evidence that 'pietism' and 'prosperity' are not the only options for charismatic Christianity. Drawing on the concept of 'spiritual capital', it argues that some varieties of charismatic Christianity have the resources to contribute to democratization. For example, this congregation's self-styled 'de-institutionalization' process is opening up new avenues for people to learn democratic skills and develop a worldview that is relationship-centred, participatory, and anti-authoritarian. The article concludes that spiritual capital can be a useful tool for analysing the role of religions in democratizations. It notes, however, that analysts should take care to identify and understand what variety of spiritual capital is generated in particular situations, focusing on the worldviews it produces and the consequences of those worldviews for democratization. © 2009 Taylor & Francis.

Northern Ireland, America and the Emerging Church Movement: Exploring the Significance of Peter Rollins andthe Ikon Collective

The Emerging Church Movement (ECM) is a primarily Western religious phenomenon, identifiable by its critical ‘deconstruction’ of ‘modern’ religion. While most prominent in North America, especially the United States, some of the most significant contributors to the ECM ‘conversation’ have been the Belfast-based Ikon Collective and one of its founders, philosopher Peter Rollins. Their rootedness in the unique religious, political and social landscape of Northern Ireland in part explains their position on the ‘margins’ of the ECM, and provides many of the resources for their contributions. Ikon’s development of ‘transformance art’ and its ‘leaderless’ structure raise questions about the institutional viability of the wider ECM. Rollins’ ‘Pyrotheology’ project, grounded in his reading of post-modern philosophy, introduces more radical ideas to the ECM conversation. Northern Ireland’s ‘Troubles’ and ‘marginal’ location provides the ground from which Rollins and Ikon have been able to expose the boundaries of the ECM and raise questions about just how far the ECM may go in its efforts to transform Western Christianity.

Beyond Pietism and Prosperity: Religious Resources for Reconstruction and Reconciliation in Zimbabwe

It is often assumed that charismatic Christianity in Africa promotes either a pietist withdrawal from social and political concerns, or a preoccupation with gaining individual health and wealth (the prosperity gospel). This research presents an alternative vision of the role of charismatic Christianity in Zimbabwe. Drawing on an ethnographic case study of a charismatic congregation, it analyzes how these Christians are drawing links between spirituality and social action. This congregation is developing an egalitarian conception of power, promoting service to the poor, and using biblical discourses to support their actions. This can be understood as part of a wider process in which Zimbabwean Christians are using religious resources to develop a vision for reconstruction and reconciliation. This article points to further areas in which the churches could use their public position to raise sensitive issues, including how to deal with the past and heal relationships between previously antagonistic groups.

Religion and Transformation in South Africa? Institutional and Discursive Change in a Charismatic Congregation

A number of Christian churches in South Africa have proclaimed their commitment to reconciliation and the elimination of unjust inequalities. This study analyses how these commitments are being worked out at the micro-level of a congregation. Using an ethnographic approach, I explore how a charismatic congregation in Cape Town has changed from being nearly all-white to being more inclusive. I explore links between individual, cognitive identity change and institutional change; and consider the discourses which justify change, including their emphasis on 'unity in diversity' and 'restitution'. I outline the limitations of change, including the persistence of 'racialised' leadership structures and the discursive privileging of unity over restitution. This allows us to understand how micro-level changes take place, to explore their potentialities and limitations, and to apply these insights to other contexts.

History and Salvation in Lebor na hUidre

This chapter argues that the scribes of Lebor na hUidre show a persistent concern with eschatology, and in particular with the salvation of souls and the Last Judgement. In some cases the texts are overtly religious, but in a substantial number of cases they are explicitly or implicitly historical. The pivotal event is the mission of St Patrick, which is identified in several of the texts examined here as the origin of Christianity in Ireland. Pagans are repeatedly brought into contact with Christians/saints or other representatives of God, revealing the victory of Christianity and the subjugation of paganism. It is argued that the stories are to be placed within the medieval western theory of history according to which God’s plan for humanity was revealed through a study of the events of the past.

Variation in arsenic accumulation - Hyperaccumulation in ferns and their allies

A range of fern species (45) and their allies, Equisetum (5) and Selaginella (2) species and Psilotum nudum were screened for their ability to hyperaccumulate arsenic, to develop a phylogenetic understanding of this phenomenon. A number of varieties (5) of a known arsenic hyperaccumulator Pteris cretica were additionally included in this study. This study is the first to report members of the Pteris genus that do not hyperaccumulate arsenic, Pteris straminea and tremula. A phylogenetic basis for arsenic accumulation in ferns was investigated. Some orders can accumulate more arsenic than others. Although members of the Equisetales and Blechnales did not hyperaccumulate arsenic, they still accumulated relatively high levels in their fronds, approaching 100 mg kg^-1 when grown on a soil dosed with 100 mg kg^-1 arsenic. Arsenic hyperaccumulation was identified as a phenomenon at the extreme range of fern arsenic accumulation. Ferns that exhibit arsenic hyperaccumulation arrived relatively late in terms of fern evolution, as this character is not exhibited by primitive ferns or their allies.

Effect of ultraviolet-B light on lymphocyte activity at doses at which normal bone marrow stem cells are preserved

Ultraviolet B (UVB) light is known to be immunosuppressive, but, probably because of a small UVC component in the emission spectra of some of the UVB lamps used, reports vary on effective dose levels. To prevent potentially lethal graft-versus-host disease (GVHD) after allogeneic bone marrow transplantation, alloreactive donor T-cell activity must be suppressed. In this study, a narrow wavelength UVB lamp (TL01, 312 nm peak emission) was used to determine what doses of UVB were required to abolish rat lymphocyte proliferation while simultaneously preserving rat bone marrow progenitor cell and primitive hematopoietic stem cell viability. Lymphocyte proliferation, as measured by 3H-Thymidine incorporation, in response to lectin stimulation was abolished below detection at doses greater than 3,500 J/m2. When T-cell clonogenicity was measured in a limiting dilution assay, a small fraction (0.6%) was maintained at doses up to 4,000 J/m2. Cytotoxic T-lymphocyte (CTL) activity was reduced after treatment with 4,000 J/m2, but a significant level of cytotoxicity was still maintained. Natural killer cell cytolytic activity was not affected by doses up to 4,000 J/m2. At 4,000 J+m2 there was a 10% survival of colony-forming units-granulocyte-macrophage; a 1% and 4% survival of day-8 and day-12 colony-forming units-spleen, respectively; and 11% survival of marrow repopulating ability cells. Up to 25% of late cobblestone area forming cells (4 to 5 weeks), reflecting the more immature hematopoietic stem cells, were preserved in bone marrow treated with 4,000 J/m2, indicating that early stem cells are less sensitive to UVB damage than are more committed progenitor cells. Thus, a potential therapeutic window was established at approximately 4,000 J/m2 using this light source, whereby the potentially GVHD-inducing T cells were suppressed, but a sufficient proportion of the cells responsible for engraftment was maintained.