00363nam a22000977a 450000500170000010000780001724500970009526000270019230000100021970000360022920260629104245.0  aNashaib Akbar a22-MSCS-04aSupervisor - Prof. Dr. Muhammad Saleem Vighio  aEvaluating Auditing Tools for Unverified Smart Contracts on Ethereum Blockchain (Thesis MS)   aNawabshahbQUESTc2025  a104p.  aDepartment of Computer Science