1,841 research outputs found
Variance: Secure Two-Party Protocol for Solving Yao\u27s Millionaires\u27 Problem in Bitcoin
Secure multiparty protocols are useful tools for parties wishing to jointly compute a function while keeping their input data secret. The millionaires’ problem is the first secure two-party computation problem, where the goal is to securely compare two private numbers without a trusted third-party. There have been several solutions to the problem, including Yao’s protocol [Yao, 1982] and Mix and Match [Jakobsson and Juels, 2000]. However, Yao’s Protocol is not secure in the malicious model and Mix and Match unnecessarily releases theoretically breakable encryptions of information about the data that is not needed for the comparison. In addition, neither protocol has any verification of the validity of the inputs before they are used. In this thesis, we introduce Variance, a privacy-preserving two-party protocol for solving the Yao’s millionaires’ problem in a Bitcoin setting, in which each party controls several Bitcoin accounts (public Bitcoin addresses) and they want to find out who owns more bitcoins without revealing (1) how many accounts they own and the balance of each account, (2) the addresses associated with their accounts, and (3) their total wealth of bitcoins while assuring the other party that they are not claiming more bitcoin than they possess. We utilize commitments, encryptions, zero knowledge proofs, and homomorphisms as the major computational tools to provide a solution to the problem, and subsequently prove that the solution is secure against active adversaries in the malicious model
Poverty Reduction and Governance in the African Periphery: A critical analysis of the World Bank’s Poverty Reduction Strategy in the political economies of sub-Saharan Africa
Accelerating High-Throughput Computing through OpenCL
This paper presents the implementation of a HTCondor pool with GPU execution capabilities through OpenCL. Implementation is discussed from both the system setup and the software design standpoint. The GPU landscape is investigated and the efficiency of the system is evaluated via Fast- Fourier Transform computations. Experimental results show that HTCondor GPU performance matches a dedicated GPU cluster
iCurate: A Research Data Management System
Scientific research activities generate a large amount of data, which varies in format, volume, structure and ownership. Although there are revision control systems and databases developed for data archiving, the traditional data management methods are not suitable for High Performance Computing (HPC) systems. The files in such systems do not have semantic annotations and cannot be archived and managed for public dissemination.
We have proposed and developed a Research Data Management (RDM)system, iCurate', which provides easy-to-use RDM facilities with semantic annotations. The system incorporates Metadata Retrieval, Departmental Archiving, Workflow Management System, Meta data Validation and Self Inferencing. The `i' emphasises the user-oriented design. iCurate will support researchers by annotating their data in a clearer and machine readable way from its production to publication for the future reus
Recommended from our members
Manipulating nanoscale structure to control functionality in printed organic photovoltaic, transistor and bioelectronic devices.
Printed electronics is simultaneously one of the most intensely studied emerging research areas in science and technology and one of the fastest growing commercial markets in the world today. For the past decade the potential for organic electronic (OE) materials to revolutionize this printed electronics space has been widely promoted. Such conviction in the potential of these carbon-based semiconducting materials arises from their ability to be dissolved in solution, and thus the exciting possibility of simply printing a range of multifunctional devices onto flexible substrates at high speeds for very low cost using standard roll-to-roll printing techniques. However, the transition from promising laboratory innovations to large scale prototypes requires precise control of nanoscale material and device structure across large areas during printing fabrication. Maintaining this nanoscale material control during printing presents a significant new challenge that demands the coupling of OE materials and devices with clever nanoscience fabrication approaches that are adapted to the limited thermodynamic levers available. In this review we present an update on the strategies and capabilities that are required in order to manipulate the nanoscale structure of large area printed organic photovoltaic (OPV), transistor and bioelectronics devices in order to control their device functionality. This discussion covers a range of efforts to manipulate the electroactive ink materials and their nanostructured assembly into devices, and also device processing strategies to tune the nanoscale material properties and assembly routes through printing fabrication. The review finishes by highlighting progress in printed OE devices that provide a feedback loop between laboratory nanoscience innovations and their feasibility in adapting to large scale printing fabrication. The ability to control material properties on the nanoscale whilst simultaneously printing functional devices on the square metre scale is prompting innovative developments in the targeted nanoscience required for OPV, transistor and biofunctional devices
Scientific and ethical considerations in rare species protection: the case of beavers in Connecticut
Includes bibliographical references.The protection of rare species abounds with scientific and ethical considerations. An ethical dilemma can emerge when the life of one species is valued higher than that of another, and so we discuss the basis of ranking, protection, and valuation of plants and animals. A duty to protect rare species exists in this age of great losses to plant and animal life, but the scientific and public communities are not always in agreement regarding what species deserve protection. Using a case study, we illustrate how the decision to kill beavers to protect a rare plant and rare animals found in a tidewater creek demanded an ecological ethic approach. We present the concept of a "conservation mediator" and how its use may help find a common ground between stakeholders and decision-makers in similar situations
VCC: A framework for building containerized reproducible cluster software environments
The problem of portability and reproducibility of the software used to conduct computational experiments has recently come to the fore. Container virtualisation has proved to be a powerful tool to achieve portability of a code and it's execution environment, through runtimes such as Docker, LXC, Singularity and others - without the performance cost of traditional Virtual Machines (Chamberlain, Invenshure, and Schommer 2014; Felter et al. 2014).
However, scientific software often depends on a system foundation that provides middleware, libraries, and other supporting software in order for the code to execute as intended. Typically, container virtualisation addresses only the portability of the code itself, which does not make it inherently reproducible. For example, a containerized MPI application may offer binary compatibility between different systems, but for execution as intended, it must be run on an existing cluster that provides the correct interfaces for parallel MPI execution.
As a greater demand to accomodate a diverse range of disciplines is placed on high performance and cluster resources, the ability to quickly create and teardown reproducible, transitory virtual environments that are tailored for an individual task or experiment will be essential.
The Virtual Container Cluster (VCC) is a framework for building containers that achieve this goal, by encapsulating a parallel application along with an execution model, through a set of dependency linked services and built-in process orchestration. This promotes a high degree of portability, and offers easier reproducibility by shipping the application along with the foundation required to execute it - whether that be an MPI cluster, big data processing framework, bioinformatics pipeline, or any other execution model (Higgins, Holmes, and Venters 2017)
Influence of the Fermi Surface Morphology on the Magnetic Field-Driven Vortex Lattice Structure Transitions in YBaCuO0, 0.15
We report small-angle neutron scattering measurements of the vortex lattice
(VL) structure in single crystals of the lightly underdoped cuprate
superconductor YBa2Cu3O6.85. At 2 K, and for fields of up to 16 T applied
parallel to the crystal c-axis, we observe a sequence of field-driven and
first-order transitions between different VL structures. By rotating the field
away from the c-axis, we observe each structure transition to shift to either
higher or lower field dependent on whether the field is rotated towards the
[100] or [010] direction. We use this latter observation to argue that the
Fermi surface morphology must play a key role in the mechanisms that drive the
VL structure transitions. Furthermore, we show this interpretation is
compatible with analogous results obtained previously on lightly overdoped
YBa2Cu3O7. In that material, it has long-been suggested that the high field VL
structure transition is driven by the nodal gap anisotropy. In contrast, the
results and discussion presented here bring into question the role, if any, of
a nodal gap anisotropy on the VL structure transitions in both YBa2Cu3O6.85 and
YBa2Cu3O7
- …