APA APA 7th

Mensah, P. K., & Morales-Vega, D. S. (2026). Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving. SciMatic Journal of Cybersecurity and Digital Forensics, 1(1), 70-76.

MLA MLA 9th

Mensah, Prof. Kwesi, and Dr. Sofia Morales-Vega. "Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving." SciMatic Journal of Cybersecurity and Digital Forensics, vol. 1, no. 1, 2026, pp. 70-76.

CHI Chicago

Mensah, Prof. Kwesi, and Dr. Sofia Morales-Vega. "Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving." SciMatic Journal of Cybersecurity and Digital Forensics 1, no. 1 (2026): 70-76.

HAR Harvard

Mensah, P. K. & Morales-Vega, D. S. (2026) 'Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving', SciMatic Journal of Cybersecurity and Digital Forensics, 1(1), pp. 70-76.

IEEE IEEE

P. K. Mensah, and D. S. Morales-Vega, "Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving," SciMatic Journal of Cybersecurity and Digital Forensics, vol. 1, no. 1, pp. 70-76, 2026.

VAN Vancouver

Mensah PK, Morales-Vega DS. Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving. SciMatic Journal of Cybersecurity and Digital Forensics. 2026;1(1):70-76.

BIB BibTeX

@article{prof2026,
  title     = {Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving},
  author    = {Prof. Kwesi Mensah and Dr. Sofia Morales-Vega},
  journal   = {SciMatic Journal of Cybersecurity and Digital Forensics},
  volume    = {1},
  number    = {1},
  pages     = {70-76},
  year      = {2026},
}

Cite This Article