Making Smart Contracts Smarter

Cryptocurrencies record transactions in a decentralized data structure called a blockchain. Two of the most popular cryptocurrencies, Bitcoin and Ethereum, support the feature to encode rules or scripts for processing transactions. This feature has evolved to give practical shape to the ideas of smart contracts, or full-fledged programs that are run on blockchains. Recently, Ethereum\u27s smart contract system has seen steady adoption, supporting tens of thousands of contracts, holding millions dollars worth of virtual coins. In this paper, we investigate the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies. We introduce several new security problems in which an adversary can manipulate smart contract execution to gain profit. These bugs suggest subtle gaps in the understanding of the distributed semantics of the underlying platform. As a refinement, we propose ways to enhance the operational semantics of Ethereum to make contracts less vulnerable. For developers writing contracts for the existing Ethereum system, we build a symbolic execution tool called Oyente to find potential security bugs. Among 19, 336 existing Ethereum contracts, Oyente flags 8, 833 of them as vulnerable, including the TheDAO bug which led to a 60 million US dollar loss in June 2016. We also discuss the severity of other attacks for several case studies which have source code available and confirm the attacks (which target only our accounts) in the main Ethereum network

Smart Change in Strategy: IBM‘s Response to Challenging Times

International Business Machines, or IBM, has been an indisputable force in the communications industry, leading the world into the modern, global technological age. Currently, IBM has revamped its business paradigm, allocating the majority of its resources to consulting work and data analyses rather than manufacturing as it had done so in the past — for the primary objectives of optimizing existing assets, resolving problems of burgeoning cities and beleaguered governments, and enhancing peoples‘ lives in a sustainable way

A Framework to Use Public-Private Partnership for Smart City Projects

The concept of Smart City has been emerging as a strategic set of integrated initiatives encompassing infrastructures, technology and digital services for the purpose of enhancing the quality of life of citizens. However, the development and implementation of Smart City projects require considerable investments that are difficult to fund with traditional public finance. In this context, Public-Private-Partnerships (PPP) appear to be suitable solutions to overcome the shortage of public finance and cuts on public spending. However, the adoption of PPP forms for Smart City projects has not been fully explored and only experimentally applied so far. In order to promote the usage of PPP to finance Smart City initiatives, this paper proposes some PPP financial instruments and discusses the associated strengths and weaknesses. In particular, the use of Project Finance, Revenue Sharing and Social Impact Bonds are suggested as sound alternatives and suitable sources of financing for Smart City project

Supporting Culture Change: Working Toward Smarter State Nursing Home Regulation

Examines how the legalistic and enforcement-based regulatory approach affects nursing homes' efforts to implement culture change. Highlights regulatory partnership models that promote high performance and outlines organizational and training issues

Scenarios for the development of smart grids in the UK: synthesis report

‘Smart grid’ is a catch-all term for the smart options that could transform the ways society produces, delivers and consumes energy, and potentially the way we conceive of these services. Delivering energy more intelligently will be fundamental to decarbonising the UK electricity system at least possible cost, while maintaining security and reliability of supply. Smarter energy delivery is expected to allow the integration of more low carbon technologies and to be much more cost effective than traditional methods, as well as contributing to economic growth by opening up new business and innovation opportunities. Innovating new options for energy system management could lead to cost savings of up to £10bn, even if low carbon technologies do not emerge. This saving will be much higher if UK renewable energy targets are achieved. Building on extensive expert feedback and input, this report describes four smart grid scenarios which consider how the UK’s electricity system might develop to 2050. The scenarios outline how political decisions, as well as those made in regulation, finance, technology, consumer and social behaviour, market design or response, might affect the decisions of other actors and limit or allow the availability of future options. The project aims to explore the degree of uncertainty around the current direction of the electricity system and the complex interactions of a whole host of factors that may lead to any one of a wide range of outcomes. Our addition to this discussion will help decision makers to understand the implications of possible actions and better plan for the future, whilst recognising that it may take any one of a number of forms