Publication Certificates
Automated Source Code Vulnerability Assessment in Solidity Contracts via Abstract Interpretation and SMT Solving
SciMatic Journal of Cybersecurity and Digital Forensics
Only the respective author can download their own certificate. Please login with your author account.
