NutBaaS: A Blockchain-as-a-Service Platform
暂无分享,去创建一个
Zibin Zheng | Xiangping Chen | Weilin Zheng | Kemian Dai | Peishan Li | Renfei Chen | Zibin Zheng | Xiangping Chen | Peishan Li | Renfei Chen | Weilin Zheng | Kemian Dai
[1] Patrick Cousot,et al. A static analyzer for large safety-critical software , 2003, PLDI '03.
[2] Sunny King,et al. PPCoin: Peer-to-Peer Crypto-Currency with Proof-of-Stake , 2012 .
[3] Beng Chin Ooi,et al. BLOCKBENCH: A Framework for Analyzing Private Blockchains , 2017, SIGMOD Conference.
[4] Zibin Zheng,et al. Service-Generated Big Data and Big Data-as-a-Service: An Overview , 2013, 2013 IEEE International Congress on Big Data.
[5] Ingo Weber,et al. On Availability for Blockchain-Based Systems , 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).
[6] Satoshi Nakamoto. Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .
[7] Prateek Saxena,et al. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale , 2018, ACSAC.
[8] Feng Hao,et al. A Smart Contract for Boardroom Voting with Maximum Voter Privacy , 2017, IACR Cryptol. ePrint Arch..
[9] Zibin Zheng,et al. A Detailed and Real-Time Performance Monitoring Framework for Blockchain Systems , 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).
[10] Jorge A. Navas,et al. Boosting concolic testing via interpolation , 2013, ESEC/FSE 2013.
[11] Elaine Shi,et al. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts , 2016, 2016 IEEE Symposium on Security and Privacy (SP).
[12] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[13] Jae Kwon,et al. Tendermint : Consensus without Mining , 2014 .
[14] Jinqing Yang,et al. A Novel Blockchain as a Service Paradigm , 2018, ICBC.
[15] Pankesh Patel,et al. Service Level Agreement in Cloud Computing , 2009 .
[16] Jatinder Singh,et al. Blockchain as a Service (BaaS): Providers and Trust , 2018, 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
[17] Sukrit Kalra,et al. ZEUS: Analyzing Safety of Smart Contracts , 2018, NDSS.
[18] Emilio Tuosto,et al. Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods , 2015, Programming Languages with Applications to Biology and Security.
[19] Miguel Oom Temudo de Castro,et al. Practical Byzantine fault tolerance , 1999, OSDI '99.
[20] H. Mayer. ECDSA Security in Bitcoin and Ethereum : a Research Survey , 2016 .
[21] Sooyong Park,et al. Where Is Current Research on Blockchain Technology?—A Systematic Review , 2016, PloS one.
[22] Ralph C. Merkle,et al. A Digital Signature Based on a Conventional Encryption Function , 1987, CRYPTO.
[23] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[24] Mahadev Konar,et al. ZooKeeper: Wait-free Coordination for Internet-scale Systems , 2010, USENIX ATC.
[25] Petar Tsankov,et al. Securify: Practical Security Analysis of Smart Contracts , 2018, CCS.
[26] Marko Vukolic,et al. Hyperledger fabric: a distributed operating system for permissioned blockchains , 2018, EuroSys.
[27] Alfred Menezes,et al. The Elliptic Curve Digital Signature Algorithm (ECDSA) , 2001, International Journal of Information Security.
[28] Jamilson Dantas,et al. Dependability Evaluation of a Blockchain-as-a-Service Environment , 2018, 2018 IEEE Symposium on Computers and Communications (ISCC).
[29] Juan Benet,et al. IPFS - Content Addressed, Versioned, P2P File System , 2014, ArXiv.
[30] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[31] Jay Kreps,et al. Kafka : a Distributed Messaging System for Log Processing , 2011 .
[32] Geoffrey C. Fox,et al. Status of Serverless Computing and Function-as-a-Service(FaaS) in Industry and Research , 2017, ArXiv.
[33] Melanie Swan,et al. Blockchain: Blueprint for a New Economy , 2015 .
[34] Emin Gün Sirer,et al. Bitcoin-NG: A Scalable Blockchain Protocol , 2015, NSDI.
[35] Michael Devetsikiotis,et al. Blockchains and Smart Contracts for the Internet of Things , 2016, IEEE Access.