Shahriar Javidi1 talk by Shahriar JavidiDeployment Validation Files : Ensuring the Sanity of Deployed Smart Contracts