Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. Existing verifiable computation techniques all have a high overhead, thus if being deployed in the clouds, would render cloud computing more expensive than the on-premises counterpart. To achieve verifiability at a reasonable cost, we leverage game theory and propose a smart contract based solution. In a nutshell, a client lets two clouds compute the same task, and uses smart contracts to stimulate tension, betrayal and distrust between the clouds, so that rational clouds will not collude and cheat. In the absence of collusion, verification of correctness can be done easily by crosschecking the results from the two clouds. We provide a formal analysis of the games induced by the contracts, and prove that the contracts will be effective under certain reasonable assumptions. By resorting to game theory and smart contracts, we are able to avoid heavy cryptographic protocols. The client only needs to pay two clouds to compute in the clear, and a small transaction fee to use the smart contracts. We also conducted a feasibility study that involves implementing the contracts in Solidity and running them on the official Ethereum network.Comment: Published in ACM CCS 2017, this is the full version with all appendice

A Smart Contract for Boardroom Voting with Maximum Voter Privacy

We present the first implementation of a decentralised and self-tallying internet voting protocol with maximum voter privacy using the Blockchain. The Open Vote Network is suitable for boardroom elections and is written as a smart contract for Ethereum. Unlike previously proposed Blockchain e-voting protocols, this is the first implementation that does not rely on any trusted authority to compute the tally or to protect the voter’s privacy. Instead, the Open Vote Network is a self-tallying protocol, and each voter is in control of the privacy of their own vote such that it can only be breached by a full collusion involving all other voters. The execution of the protocol is enforced using the consensus mechanism that also secures the Ethereum blockchain. We tested the implementation on Ethereum’s official test network to demonstrate its feasibility. Also, we provide a financial and computational breakdown of its execution cost

Illness perceptions and coping in physical health conditions: A meta-analysis

Objective: There is a considerable body of research linking elements of Leventhal’s Common Sense Model (CSM) to emotional well-being/distress outcomes among people with physical illness. The present study aims to consolidate this literature and examine the evidence for the role of coping strategies within this literature. Methods: A systematic review was conducted where the outcomes of interest were: depression, anxiety and quality of life. A total of 1050 articles were identified and 31 articles were considered eligible to be included in the review. Results: Across a range of illnesses, perceptions of consequences of the illness and emotional representations were consistently the illness perceptions with the strongest relationship with the outcomes. Coping variables tend to be stronger predictors of outcomes than the illness perception variables. The evidence for the mediating effect of coping was inconsistent. Conclusions: Illness perceptions and coping have an important role to play in the explanation of distress outcomes across a range of physical health conditions. However, some clarity about the theoretical position of coping in relation to illness perceptions, and further longitudinal work is needed if we are to apply this information to the design of interventions for the improvement of psychological health among people with physical health conditions.<br/

Adjusting to life after esophagectomy: the experience of survivors and carers

Following surgery for esophageal cancer, patients can experience complex physical, social, and emotional changes. Investigation of these challenges, particularly from the perspective of the patient and his or her carer, has been limited. The current study explored the emotional and cognitive experiences of esophageal cancer survivors and those of their carers, using focus groups conducted with members of a patient support group. Analysis of the patients’ data yielded three themes: coping with a death sentence, adjusting to and accepting an altered self, and the unique benefits of peer support. Analysis of the carers’ data also yielded three themes: the carer as buffer, representations of recovery and recurrence, and normalizing experiences through peer support. Esophageal cancer patients and their carers require holistic support in their efforts to adjust to the social, emotional, and physical consequences of esophagectomy. Peers could be an effective channel for the support of patients and carers

Accessing Patient Records in Virtual Healthcare Organisations

The ARTEMIS project is developing a semantic web service based P2P interoperability infrastructure for healthcare information systems that will allow healthcare providers to securely share patient records within virtual healthcare organisations. Authorisation decisions to access patient records across organisation boundaries can be very dynamic and must occur within a strict legislative framework. In ARTEMIS we are developing a dynamic authorisation mechanism called PBAC that provides a means of contextual and process oriented access control to enforce healthcare business processes. PBAC demonstrates how healthcare providers can dynamically share patient records for care pathways across organisation boundaries

Use of paracoxib by continuous subcutaneous infusion for cancer pain in a hospice population

ObjectivesTo characterise the use of the parenteral non-steroidal anti-inflammatory drug parecoxib when given by continuous subcutaneous infusion (CSCI) in a hospice population. Clinical experience suggests parecoxib CSCI may be of benefit in this population, but empirical evidence in relation to its safety and efficacy is lacking.MethodsRetrospective chart review of patients with a cancer diagnosis receiving parecoxib CSCI from 2008 to 2013 at the Marie Curie Hospice, Belfast. Data were collected on treatment regime, tolerability and, in patients receiving at least 7 days treatment, baseline opioid dose and changes in pain scores or opioid rescue medication requirements.ResultsParecoxib CSCI was initiated in 80 patients with a mean administration of 17.9 days (median 11, range 1–94). When used for a period of 7 days, there was a statistically significant reduction in pain scores (p=0.002) and in the number of rescue opioid doses required (p=0.001), but no statistically significant opioid-sparing effect (p=0.222). It was generally well tolerated, although gastrointestinal, renal adverse effects and local site irritation were reported.ConclusionsParecoxib may have a valuable place in the management of cancer pain, especially towards the end of life when oral administration is no longer possible and CSCI administration is relied on. Further studies into the efficacy and tolerability of parecoxib CSCI are merited.</jats:sec

A Semantic Framework for the Security Analysis of Ethereum smart contracts

Smart contracts are programs running on cryptocurrency (e.g., Ethereum) blockchains, whose popularity stem from the possibility to perform financial transactions, such as payments and auctions, in a distributed environment without need for any trusted third party. Given their financial nature, bugs or vulnerabilities in these programs may lead to catastrophic consequences, as witnessed by recent attacks. Unfortunately, programming smart contracts is a delicate task that requires strong expertise: Ethereum smart contracts are written in Solidity, a dedicated language resembling JavaScript, and shipped over the blockchain in the EVM bytecode format. In order to rigorously verify the security of smart contracts, it is of paramount importance to formalize their semantics as well as the security properties of interest, in particular at the level of the bytecode being executed. In this paper, we present the first complete small-step semantics of EVM bytecode, which we formalize in the F* proof assistant, obtaining executable code that we successfully validate against the official Ethereum test suite. Furthermore, we formally define for the first time a number of central security properties for smart contracts, such as call integrity, atomicity, and independence from miner controlled parameters. This formalization relies on a combination of hyper- and safety properties. Along this work, we identified various mistakes and imprecisions in existing semantics and verification tools for Ethereum smart contracts, thereby demonstrating once more the importance of rigorous semantic foundations for the design of security verification techniques.Comment: The EAPLS Best Paper Award at ETAP