https://github.com/kunpengren/verismart-benchmarks
Science Score: 10.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
○codemeta.json file
-
○.zenodo.json file
-
○DOI references
-
✓Academic publication links
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.3%) to scientific vocabulary
Last synced: 4 months ago
·
JSON representation
Repository
Basic Info
- Host: GitHub
- Owner: KunPengRen
- Default Branch: master
- Size: 115 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Fork of kupl/VeriSmart-benchmarks
Created almost 6 years ago
· Last pushed almost 6 years ago
https://github.com/KunPengRen/VeriSmart-benchmarks/blob/master/
# VeriSmart-benchmarks VeriSmart is a safety verifier for Ethereum smart contracts written in Solidity. It can precisely verifty safety properties with automatically inferred invariants in contracts. This repository contains contracts that we used for evaluations in our paper. ## Related Publications * **VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts**
[Sunbeom So](https://sites.google.com/site/sunbeomsoprl/), Myungho Lee, Jisu Park, Heejo Lee, and [Hakjoo Oh](http://prl.korea.ac.kr/~pronto/home/)
[S&P2020: 41st IEEE Symposium on Security and Privacy](https://www.ieee-security.org/TC/SP2020/) (accepted)
\[[pdf](https://arxiv.org/abs/1908.11227)\] ## Contact Email us if you have any questions: sunbeom_so@korea.ac.kr
Owner
- Name: Vincent
- Login: KunPengRen
- Kind: user
- Location: Singapore
- Company: National University of Singapore
- Repositories: 14
- Profile: https://github.com/KunPengRen