Skip to content

README.md

Latest commit

 

History

History
15 lines (12 loc) · 590 Bytes

README.md

File metadata and controls

15 lines (12 loc) · 590 Bytes

ZEUS

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).

Citation

@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}
}