Blockchains |

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

Wed, 01 Nov 2023 00:00:00 +0000

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

Sat, 01 Jul 2023 00:00:00 +0000

Impact Factor: 7

Decentralized Computation Market for Stream Processing Applications

Thu, 01 Sep 2022 00:00:00 +0000

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

Sun, 01 May 2022 00:00:00 +0000

Acceptance Rate: 18.6%

Selfish Mining Attacks Exacerbated by Elastic Hash Supply

Mon, 01 Mar 2021 00:00:00 +0000

Acceptance Rate: 25%

Safe and Private Forward-Trading Platform for Transactive Microgrids

Fri, 01 Jan 2021 00:00:00 +0000

The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems

Tue, 01 Dec 2020 00:00:00 +0000

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

Tue, 01 Sep 2020 00:00:00 +0000

Equilibrium of Blockchain Miners with Dynamic Asset Allocation

Tue, 01 Sep 2020 00:00:00 +0000

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities

Tue, 01 Sep 2020 00:00:00 +0000

Mechanisms for Outsourcing Computation via a Decentralized Market

Wed, 01 Jul 2020 00:00:00 +0000

Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems

Mon, 01 Jun 2020 00:00:00 +0000

Blockchain Security and Applications

Mon, 25 May 2020 00:00:00 +0000

This project studies the following research topics:

Security of blockchain-based consensus protocols
Secure smart contracts
Applications of blockchains

Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid

Fri, 01 May 2020 00:00:00 +0000

Acceptance Rate: 22%

Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media

Sat, 01 Feb 2020 00:00:00 +0000

VeriSolid: Correct-by-Design Smart Contracts for Ethereum

Fri, 01 Feb 2019 00:00:00 +0000

Acceptance Rate: 22%

TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids

Sat, 01 Dec 2018 00:00:00 +0000

Economic Analyses of Security Investments on Cryptocurrency Exchanges

Sun, 01 Jul 2018 00:00:00 +0000

Acceptance Rate: 15.3%

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities

Sun, 01 Jul 2018 00:00:00 +0000

Acceptance Rate: 15.3%

Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts

Sun, 01 Apr 2018 00:00:00 +0000

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

Thu, 01 Feb 2018 00:00:00 +0000

Acceptance Rate: 26%

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

Fri, 01 Dec 2017 00:00:00 +0000

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

Fri, 01 Dec 2017 00:00:00 +0000

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

Sun, 01 Oct 2017 00:00:00 +0000

Blockchains for Transactive Energy Systems

Fri, 01 Sep 2017 00:00:00 +0000

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. Transactive energy is a decentralized solution for dynamically balancing demand and supply, in which consumers, prosumers (i.e., consumers with energy storage or generation capabilities), providers, etc. can trade energy in an open market.

However, transactive energy solutions must also satisfy security, safety, and privacy requirements, which often seem to contradict each other. For example, to provide safety, detailed energy consumption and production information might need to be disseminated, but this threatens the privacy of prosumers. As another example, the complex and computationally expensive solutions required to provide security might not abide the real-time constraints of power systems.

In this project, we create a transactive energy system based on blockchain technology, using the distributed ledger provided by a blockchain to implement an energy trading platform. We develop protocols, smart contracts, middleware, and control algorithms to provide security, safety, and privacy for transactive energy.

Correct-by-Design Blockchain-based Smart Contracts

Fri, 01 Sep 2017 00:00:00 +0000

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. However, the development of smart contracts has proven to be error-prone in practice, and as a result, contracts deployed on public platforms are often riddled with security vulnerabilities. This issue is exacerbated by the design of these platforms, which forbids updating contract code and rolling back malicious transactions. In light of this, it is crucial to ensure that a smart contract is secure before deploying it and trusting it with significant amounts of cryptocurrency.

This project introduces a framework for the formal verification of contracts that are specified using a transition-system based model with rigorous operational semantics. Our model-based approach allows developers to reason about and verify contract behavior at a high level of abstraction. Our framework allows the generation of smart-contract code from the verified models, which enables the correct-by-design development of smart contracts.

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

Thu, 01 Jan 2015 00:00:00 +0000

Game-Theoretic Analysis of DDoS Attacks Against Bitcoin Mining Pools

Sat, 01 Mar 2014 00:00:00 +0000