• 대한전기학회
Mobile QR Code QR CODE : The Transactions of the Korean Institute of Electrical Engineers
  • COPE
  • kcse
  • 한국과학기술단체총연합회
  • 한국학술지인용색인
  • Scopus
  • crossref
  • orcid
The Transactions of the Korean Institute of Electrical Engineers

The Transactions of the Korean Institute of Electrical Engineers

ISO Journal TitleTrans. Korean. Inst. Elect. Eng.
SCImago Journal & Country Rank

Journal Search

  1. Home
  2. Archive
  3. 2021-12 (Vol.70 No.12)
  4. 10.5370/KIEE.2021.70.12.2006
XML PDF INFO REF

References

1 
A. M. Antonopoulos, 2015, Mastering Bitcoin: Unlocking Digital Cryptocurrencies, O'Reilly Media 1st editionGoogle Search
2 
L. Luu, D. Chu, H. Olickel, P. Saxena, 2016, Aquinas Hobor Making Smart Contracts Smarter, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254-269DOI
3 
Q. Dupont, 2017, Experiments in algorithmic governance: A history and ethnography of The DAO, a failed decentralized autonomous organization, In M. Campbell-Verduyn editor Bitcoin and Beyond: Cryptocurrencies Blockchains and Global Governance, pp. 157-177Google Search
4 
G. Destefanis, M. Marchesi, M. Ortu, R. Tonelli, A. Bracciali, R. M. Hierons, 2018, Smart contracts vulnerabilities: a call for blockchain software engineering?, In 2018 International Workshop on Blockchain Oriented Software Engineering, pp. 19-25Google Search
5 
P. Praitheeshan, L. Pan, J. Yu, J. K. Liu, R. Doss, 2019, Security analysis methods on Ethereum smart contract vulnerabilities: A survey, CoRRGoogle Search
6 
S. So, M. Lee, J. Park, H. Lee, H. Oh, 2020, VERISMART: A highly precise safety verifier for Ethereum smart contracts, In 2020 IEEE Symposium on Security and Privacy (SP 2020), pp. 1678-1694DOI
7 
S. Amani, M. Begel, M. Bortin, M. Staples, 2018, Towards verifying Ethereum smart contract bytecode in Isabelle/HOL, In Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 66-77DOI
8 
R. Alur, T. Henzinger, O. Kupferman, 2002, Alternating-time temporal logic, Journal of the ACM, Vol. 49, No. 5, pp. 1-42DOI
9 
Solidity v0.8.4 documentation., 2021, https://docs.soliditylang.org/Google Search
10 
A. Lomuscio, H. Qu, F. Raimondi, 2017, MCMAS: an open-source model checker for the verification of multi- agent systems, International Journal on Software Tools for Technology Transfer, Vol. 19, No. 1, pp. 9-30Google Search
11 
S. Kalra, S. Goel, M. Dhawan, S. Sharma, 2018, ZEUS: Analyzing safety of smart contracts, In the 25th Annual Network and Distributed System Security Symposium (NDSS 2018)Google Search
12 
P. Tsankov, A. M. Dan, D. Drachsler-Cohen, A. Gervais, F. Bunzli, M. T. Vechev, 2018, Securify: Practical security analysis of smart contracts, In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS 2018), pp. 67-82Google Search
13 
D. Annenkov, J. B. Nielsen, B. Spitters, 2020, ConCert: a smart contract certification framework in Coq, In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 215-228DOI
14 
T. Abdellatif, K. Brousmiche, 2018, Formal verification of smart contracts based on users and blockchain behaviors models, In 9th IFIP International Conference on New Technologies Mobility and Security, pp. 1-5DOI
15 
P. Madhusudan, W. Nam, R. Alur, 2003, Symbolic computational techniques for solving games, Electronic Notes in Theoretical Computer Science, Vol. 89, No. 4, pp. 578-592DOI