This repository contains a presentation on the article titled ZEUS: Analyzing Safety of Smart Contracts.
The presentation was given during the Seminar in Verification of Smart Contracts at the University of Bar-Ilan (2022-2023).
@inproceedings{Kalra2018ZEUSAS,
title={ZEUS: Analyzing Safety of Smart Contracts},
author={Sukrit Kalra and Seep Goel and Mohan Dhawan and Subodh Sharma},
booktitle={Network and Distributed System Security Symposium},
year={2018}
}