19 citations · 53 across the 13 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019
Safe and Private Forward-Trading Platform for Transactive Microgrids
Scott Eisele, Taha Eghtesad, Keegan Campanelli +3
Transactive microgrids have emerged as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resourc…
cs.CR2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari +1
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 k…