The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts
University of Luxembourg
现代区块链，例如以太坊，可以执行所谓的智能合约 - 在分散的区块链网络中执行的程序。随着智能合约变得越来越流行并带来更多价值，它们成为攻击者的一个有趣目标。在过去几年中，发现一些智能合约易受攻击，因此被攻击者利用。然而，一种更加积极主动的方法的新趋势似乎正在上升，攻击者不再寻找脆弱的合同。相反，他们试图通过部署包含隐藏陷阱的易受攻击的合同来诱骗陷入困境的陷阱。这种类型的合同通常被称为蜜罐。在本文中，我们通过调查它们的流行性，行为和对以太坊区块链的影响，提出了对蜜罐的第一次系统分析。我们开发了蜜罐技术的分类法，并使用它来构建HONEYBADGER - 一种利用符号执行和明确定义的启发式方法来揭示智能合约蜜罐的工具。我们对超过200万份智能合约进行了大规模分析，结果表明我们的工具不仅实现了高精度，而且具有高可扩展性。我们确定了690个蜜罐以及240个野外受害者，蜜罐创造者的累计利润超过90,000美元。我们的手动验证显示，87％的报告合同确实是蜜罐。
When Energy Trading meets Blockchain in Electrical Power System: The State of the Art
North China Electric Power Universitye & Fayetteville State University, Fayetteville, NC, USA & , Temple University & University of Idaho, Moscow ID, USA
随着可再生能源的快速增长，能源交易开始从集中式转向分散式。 区块链作为一种分布式公共分类账技术，已被广泛用于设计新的能源交易方案。 然而，基于区块链的能量交易存在许多具有挑战性的问题，即低效率，高交易成本，安全性和隐私问题。 为了应对上述挑战，已经提出了许多解决方案。 在本次调查中，对基于区块链的电力系统能源交易进行了深入研究。 首先，确定了基于区块链的能源交易中的挑战。 然后，研究现有的能源交易方案，并根据其主要重点分为三类：能源交易，共识机制和系统优化。 每个类别都会详细介绍。 虽然现有方案可以满足特定的能源交易要求
The Shutdown Problem: How Does a Blockchain System End?
MIT
我们定义并检查区块链系统的关闭问题：如何在其使用寿命结束时优雅地结束系统的操作。 特别关注的是那些拥有长期兴趣的档案数据的区块链系统。 我们概述了实现成功关闭的意义，并将这些标准与通用区块链系统中可能的寿命终止条件进行比较。 我们得出结论，区块链系统的分散性使得关闭变得困难，特别是如果系统使用像Nakamoto比特币共识那样的不稳定共识。 因此，我们建议不要对区块链系统的生命周期内可能持续存在的任何数据使用不稳定共识的区块链。 对于已经运行的任何此类系统，我们建议考虑使用硬分叉来实现稳定的共识。 这种考虑需要在系统寿命结束之前很好地进行。
Secure Distributed Dynamic State Estimation in Wide-Area Smart Grids
Columbia University & University of South Florida
智能电网是一个庞大的复杂网络，具有无数的漏洞，通常在对抗设置中运行，并根据估计的系统状态进行调节。在这项研究中，我们提出了一种新的高度安全的分布式动态状态估计机制，用于广域智能电网，由地理上分离的子区域组成，每个子区域由一个本地（控制）中心监督。我们首先提出一种分布式状态估计器，该估计器采用常规系统操作，基于本地卡尔曼滤波器以及在本地中心之间交换必要信息来实现接近最佳的性能。为了增强安全性，我们进一步建议（i）通过基于区块链（BC）的系统设计保护网络数据库和网络通信信道免受攻击和数据操纵，其中BC在本地的对等网络上运行，（ii）实时地本地检测测量异常以消除它们对状态估计过程的影响，以及（iii）通过分布式信任管理方案实时检测行为不当（被黑/有故障）的本地中心网络。我们提供关于所提出的检测方案的误报率的理论保证，其中可以容易地控制误报警。数值研究表明，所提出的机制在常规系统运行下提供可靠的状态估计，及时准确地检测异常，并在异常情况下提供良好的状态恢复性能。
The evolution of Lightning Network’s Topology during its first year and the influence over its core values
Politecnico di Milano （米兰理工学院）
自从Lightning Network（LN）在比特币的主网上推出以来，现在已经整整一年了。 LN已被声称是比特币的几个弱点的解决方案，例如难以按每秒交易数量进行扩展，以及相对少量交易的昂贵性。 LN基于通过在区块链上发布交易而打开和关闭的微信道网络，并且由于多跳框架，它们能够相互交互。 在这项工作中，我从拓扑的角度分析了LN的演变，并试图了解它如何影响比特币的一些历史核心基础，例如抵御攻击和失败的弹性以及用户的匿名性。 我试图回答的另一个问题是LN拓扑的演变是否会使其同步变得更容易。