Blockchain Paper 汇总

Posted by szh on 2019-11-14

安全

  • EVulHunter
    检测 EOS 合约的假转账和假通知攻击漏洞,分三部分:CFGBuilder, WASM Simulator, Detector Engine 在 CFG 中选出特定的部分给 Simulator 执行,在 Simulator 中可定位在 apply 中的间接函数调用。假转账漏洞检测:有客户自定义的方法调用 transfer,假通知漏洞检测:测试是否有 to 和_self 间的比较

  • Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. A survey of attacks on ethereum smart contracts (sok). In International Conference on Principles of Security and Trust, pages 164–186. Springer, 2017.

  • Bo Jiang, Ye Liu, and WK Chan. Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pages 259–269. ACM, 2018.
    利用 ABI 生成 fuzzing input,利用 test oracles 测试安全漏洞,对 EVM 进行 instrument 并输出合约的运行时信息,分析 log 来报告漏洞,对不同漏洞,主要检测transfer call delegate call的调用情况及其参数作为漏洞特征
    检测了 Gasless Send, Exception Disorder, Reentrancy, Timestamp Dependency, Block Numer Dependency, Dangerous DelegateCall, Freezing Ether Contract漏洞
  • Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, and Bill Roscoe. Reguard: finding reentrancy bugs in smart contracts. In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pages 65–68. ACM, 2018.
  • Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. Making smart contracts smarter. In Proceedings of CCS 2016, pages 254–269. ACM, 2016.
  • Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, and Yaroslav Alexandrov. Smartcheck: Static analysis of ethereum smart contracts. In WETSEB 2018, pages 9–16. IEEE, 2018.
  • Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pages 67–82. ACM, 2018.
  • Massimo Bartoletti and Roberto Zunino. 2018. BitML: A Calculus for Bitcoin Smart Contracts. In 2018 ACM SIGSAC Conference on Computer and Communications Security(CCS’18), October15–19,2018,Toronto,ON,Canada.ACM, NewYork,NY,USA,18pages.https://doi.org/10.1145/3243734.3243795
  • Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, and Martin Vechev. 2019. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS ’19), November 11–15, 2019, London, United Kingdom. ACM, New York, NY, USA, 18 pages. https://doi.org/10. 1145/3319535.3363230
  • Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, and Martin Vechev. 2019. zkay: Specifying and Enforcing Data Privacy in SmartContracts. In 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS ’19), November 11–15, 2019, London, United Kingdom. ACM, New York, NY, USA, 18 pages. https://doi.org/10. 1145/3319535.3363222

Consensus

POS
  • Christian Badertscher, Peter Gaži, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas. 2018. Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. In 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS ’18), October 15–19, 2018, Toronto, ON, Canada. ACM, New York, NY, USA, 18 pages. https: //doi.org/10.1145/3243734.3243848
POW
  • Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, and Pramod Viswanath. 2019. Prism: Deconstructing the Blockchain to Approach Physical Limits. In 2019 ACM SIGSAC Conference on Computer and Communications Security (CCS ’19), November 11–15, 2019, London, United Kingdom.ACM,NewYork, NY,USA,18pages.https://doi.org/10.1145/3319535.3363213

Sharding

  • Mahdi Zamani, Mahnush Movahedi, and Mariana Raykova. 2018. RapidChain: Scaling Blockchain via Full Sharding. In ACM SIGSAC Conference on Computer and Communications Security (CCS ’18), October 15–19, 2018, Toronto, ON, Canada. ACM, New York, NY, USA, 18 pages. https: //doi.org/10.1145/3243734.3243853

跨链

  • Zhuotao Liu Yangxi Xiang Jian Shi Peng Gao Haoyu Wang and Xusheng Xiao Bihan Wen Yih-Chun Hu. 2019. HyperService: Interoperability and Programmability Across Heterogeneous Blockchains. In2019 ACM SIGSAC Conference on Computer and Communications Security (CCS ’19), November 11–15, 2019, London, United Kingdom.ACM,NewYork, NY,USA,18pages.https://doi.org/10.1145/3319535.3355503

State/Payment Channel

  • The Bitcoin Lightning Network: Scalable Off-Chain Instant Payments
  • Stefan Dziembowski, Sebastian Faust, and Kristina Hostáková. 2018. General State Channel Networks. In 2018 ACM SIGSAC Conference on Computer and Communications Security(CCS’18),October 15–19, 2018, Toronto, ON, Canada. ACM, NewYork, NY, USA, 18pages. https://doi.org/10.1145/3243734.3243856
  • Christoph Egger, Pedro Moreno-Sanchez, and Matteo Maffei. 2019. Atomic Multi-Channel Updates with Constant Collateral,in Bitcoin-Compatible Payment-Channel Networks. In 2019 ACM SIGSAC Conference on Computer and Communications Security(CCS’19),November 11–15,2019,London, United Kingdom. ACM,New York,NY,USA,14 pages. https://doi.org/10. 1145/3319535.3345666
  • Rami Khalil and Arthur Gervais. 2017. Revive: Rebalancing Off-Blockchain Payment Networks. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘17). ACM, New York, NY, USA, 439-453. DOI: https://doi.org/10.1145/3133956.3134033
  • Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, and Srivatsan Ravi. 2017. Concurrency and Privacy with Payment-Channel Networks. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘17). ACM, New York, NY, USA, 455-471. DOI: https://doi.org/10.1145/3133956.3134096
  • Matthew Green and Ian Miers. 2017. Bolt: Anonymous Payment Channels for Decentralized Currencies. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘17). ACM, New York, NY, USA, 473-489. DOI: https://doi.org/10.1145/3133956.3134093

Network

  • Gleb Naumenko, Gregory Maxwell, Pieter Wuille, Alexandra Fedorova, and Ivan Beschastnikh. 2019. Erlay: Efficient Transaction Relay for Bitcoin. In 2019 ACM SIGSAC Conference on Computer& Communications Security (CCS ’19), November 11–15, 2019, London, United Kingdom. ACM,NewYork, NY, USA, 15pages.https://doi.org/10.1145/3319535.3354237

应用

  • Stefan Dziembowski, LisaEckey, and Sebastian Faust. 2018. FairSwap: How to Fairly Exchange Digital Goods. In 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS ’18), October 15–19, 2018, Toronto, ON, Canada.ACM,NewYork,NY,USA,18pages.https://doi.org/10.1145/ 3243734.3243857

White Papers

  • Polkadot
  • Cosmos

  • Counterfactual

  • Sprites
  • Raiden
  • Perun