Blockchains

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of …

On the Design of Communication and Transaction Anonymity in Blockchain-Based Transactive Microgrids

PlaTIBART: A Platform for Transactive IoT Blockchain Applications with Repeatable Testing

Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers

Blockchains for Transactive Energy Systems

Due to rapid growth in renewable energy resources and improvements in battery technology, power grids are undergoing major changes, which create significant management and control challenges. To tackle these challenges, decentralized solutions are needed, which can support the evolution of electrical power distribution systems.

Correct-by-Design Blockchain-based Smart Contracts

The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability to create self-enforcing smart contracts.

When Bitcoin Mining Pools Run Dry: A Game-Theoretic Analysis of the Long-Term Impact of Attacks Between Mining Pools

Game-Theoretic Analysis of DDoS Attacks Against Bitcoin Mining Pools