Blockchain and Cryptocurrency: A comparative framework of the main Architectural Drivers
(CONICET, Argentina & Fidtech, Argentina)
区块链和加密货币：主要建筑驱动因素的比较框架
区块链是一种分散的交易和数据管理解决方案，是比特币和其他加密货币成功背后的技术武器。随着现有区块链实施的数量和种类不断增加，采用者应该专注于选择最好的一个来支持他们的分散应用程序（dApps），而不是从头开发新的。在本文中，我们提出了一个框架，以帮助软件架构师，开发人员，工具选择器和决策者针对他们手头的问题采用正确的区块链技术。该框架揭示了技术决策和架构特征之间的相互关系，从现有工业产品，技术论坛/博客，专家反馈和学术文献中获取知识;加上我们使用和开发基于区块链的应用程序的经验。我们通过应用它来剖析最杰出的区块链平台，即除了比特币之外的十大加密货币平台，我们验证了我们的框架。然后，我们将展示如何将它应用于insurtech领域的真实案例研究。
Formal Specification and Verification of Smart Contracts for Azure Blockchain
(Microsoft Research, USA & University of Texas, Austin)
Azure区块链智能合约的正式规范和验证
在本文中，我们描述了作为Azure区块链内容和样本在github上提供的智能合约的形式验证。 我们描述了两种形式验证问题的来源：（i）基于状态机和基于访问控制的Azure Blockchain Workbench应用程序配置的智能合约的语义一致性检查，以及（ii）在以太坊证明中实施权限治理的智能合约的安全验证 - Azure上的权限（PoA）。 我们根据Boogie的翻译并利用Boogie验证工具链描述了一个新的程序验证程序VeriSol for Solidity。 我们描述了我们在Azure中将VeriSol应用于Workbench样本合同和权威证明治理合同的经验，以及在经过充分测试的智能合同中查找以前未知的错误。 一旦修复了错误，我们为Workbench中提供的所有样本合同的语义一致性检查提供按钮无界验证。
On the Activity Privacy of Blockchain for IoT
(UNSW, Sydney & DATA61 CSIRO Brisbane)
论区块链对物联网的活动隐私
近年来，区块链作为为物联网（IoT）提供分布式，安全，可审计和匿名框架的手段而受到极大关注。在基于物联网的区块链中，物联网设备之间的通信以交易的形式存储在区块链中。与其他现有区块链类似，IoT用户和设备使用可更改的公钥（PK）作为其身份，以保持匿名。然而，最近对加密货币的研究表明，通过分析交易模式可以对用户进行去匿名化。在本文中，我们研究了使用区块链中存储的交易对物联网设备进行分类的成功率，这可能会损害用户的匿名性。据我们所知，本文是首次尝试分析基于区块链的物联网中的设备分类。我们使用智能家居作为代表性物联网场景。首先，根据真实世界的智能家庭流量数据集填充区块链。然后，我们对存储在区块链中的数据应用机器学习算法，以分析设备分类的成功率，对知情和盲目攻击者进行建模。我们的结果表明，在分类设备中成功率超过90％。我们提出了三种时间戳混淆方法，即将多个数据包组合成单个事务，合并多个设备的分类账，并随机延迟事务，以降低分类设备的成功率。建议的时间戳混淆方法可以将分类成功率降低到20％