| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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}
}
| Back | FazBrowse Home | New Git URL |