Security Issues in Smart Contracts
Abstract
Keywords
Full Text:
PDFReferences
Bartoletti, M., Salvatore C., Tiziana C., and Roberto S.: Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact (2017), https://arxiv.org/abs/1703.03779.
Bhargavan, K., Swamy, N., Zanella-Béguelin, S., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A. and Sibut-Pinote, T. (2016). Formal Verification of Smart Contracts. Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16.
Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. CoRR abs/1608.00771 (2017).
Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: ACM CCS (2016), http://eprint.iacr.org/2016/633.
Marino, B., Juels, A.: Setting standards for altering and undoing smart contracts. In: RuleML. pp. 151–166 (2016).
Swan, M.: Blockchain: Blueprint for a New Economy. O'Reilly Media, United States of America (2015).
DOI: https://doi.org/10.18282/ii.v4i2.557
Refbacks
- There are currently no refbacks.
