Blockchains

PhobosBC: A Blockchain-based Crowdsourced Post-disaster Mapping System and its Agent-based Simulation

After a major natural disaster strikes a region, emergency response often lacks information about the post-disaster state of the road network. Conflicting information about the …

Raunak Sarbajna
•

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid

Blockchain-based smart contracts enable the creation of decentralized applications, which often handle assets of considerable value. While the underlying platforms guarantee the …

Keerthi Nelaturu
•

Decentralized Computation Market for Stream Processing Applications

While cloud computing is the current standard for outsourcing computation, it can be prohibitively expensive for cities and infrastructure operators to deploy services. At the same …

Scott Eisele
•

A Taxonomy of Blockchain Oracles: The Truth Depends on the Question

Blockchains benefit from guarantees of immutability and reliability due to their high redundancy and distributed nature. They show their value especially when operating between …

Michael Bartholic
•

Selfish Mining Attacks Exacerbated by Elastic Hash Supply

Several attacks have been proposed against Proof-of-Work blockchains, which may increase the attacker’s share of mining rewards (e.g., selfish mining, block withholding). A further …

Yoko Shibuya
•

Safe and Private Forward-Trading Platform for Transactive Microgrids

Power grids are evolving at an unprecedented pace due to the rapid growth of distributed energy resources (DER) in communities. These resources are very different from traditional …

Scott Eisele
•

The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems

Power grids are undergoing major changes due to rapid growth in renewable energy and improvements in battery technology. Prompted by the increasing complexity of power systems, …

Scott Eisele
•

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities

Vyper has been proposed as a new high-level language for Ethereum smart contract development due to numerous security vulnerabilities and attacks witnessed on contracts written in …

Mudabbir Kaleem
•

Equilibrium of Blockchain Miners with Dynamic Asset Allocation

We model and analyze blockchain miners who seek to maximize the compound return of their mining businesses. The analysis of the optimal strategies finds a new equilibrium point …

Go Yamamoto
•

Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches

The emergence of blockchains and smart contracts have renewed interest in electrical cyber-physical systems, especially in the area of transactive energy systems. However, despite …

Scott Eisele
•