APA APA 7th

Park, D. S., & Silva-Mendoza, P. B. (2026). Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution. Journal of Ongoing Blockchain and Cryptocurrency Research, 1(1), 59-65.

MLA MLA 9th

Park, Dr. Sun-Woo, and Prof. Beatriz Silva-Mendoza. "Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution." Journal of Ongoing Blockchain and Cryptocurrency Research, vol. 1, no. 1, 2026, pp. 59-65.

CHI Chicago

Park, Dr. Sun-Woo, and Prof. Beatriz Silva-Mendoza. "Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution." Journal of Ongoing Blockchain and Cryptocurrency Research 1, no. 1 (2026): 59-65.

HAR Harvard

Park, D. S. & Silva-Mendoza, P. B. (2026) 'Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution', Journal of Ongoing Blockchain and Cryptocurrency Research, 1(1), pp. 59-65.

IEEE IEEE

D. S. Park, and P. B. Silva-Mendoza, "Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution," Journal of Ongoing Blockchain and Cryptocurrency Research, vol. 1, no. 1, pp. 59-65, 2026.

VAN Vancouver

Park DS, Silva-Mendoza PB. Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution. Journal of Ongoing Blockchain and Cryptocurrency Research. 2026;1(1):59-65.

BIB BibTeX

@article{dr2026,
  title     = {Smart Contract Auditing for Reentrancy Vulnerabilities: A Formal Verification Approach Using Symbolic Execution},
  author    = {Dr. Sun-Woo Park and Prof. Beatriz Silva-Mendoza},
  journal   = {Journal of Ongoing Blockchain and Cryptocurrency Research},
  volume    = {1},
  number    = {1},
  pages     = {59-65},
  year      = {2026},
}

Cite This Article