# RUB-SysSec/EthBMC

<https://repo.masters-masters.com/en/repos/RUB-SysSec/EthBMC>

[Home](https://repo.masters-masters.com/en) › [RUB-SysSec](https://repo.masters-masters.com/en/owners/RUB-SysSec) › [EthBMC](https://repo.masters-masters.com/en/repos/RUB-SysSec/EthBMC)

RUB-SysSec/EthBMC has 106 stars on GitHub. Its RepoMasters card: Prototype tier. The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded…

| Field | Value |
| --- | --- |
| Owner | [RUB-SysSec](https://repo.masters-masters.com/en/owners/RUB-SysSec) |
| Stars | 106 |
| Forks | 13 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2020 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [RUB-SysSec/EthBMC](https://github.com/RUB-SysSec/EthBMC) |

## Repository

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by RUB-SysSec

- [RUB-SysSec/DroneSecurity · ★ 1,332 · Python · Beta](https://repo.masters-masters.com/en/repos/RUB-SysSec/DroneSecurity)
- [RUB-SysSec/kAFL · ★ 596 · Python · Alpha](https://repo.masters-masters.com/en/repos/RUB-SysSec/kAFL)
- [RUB-SysSec/redqueen · ★ 402 · Python · Alpha](https://repo.masters-masters.com/en/repos/RUB-SysSec/redqueen)
- [RUB-SysSec/Microcode · ★ 358 · Python · Alpha](https://repo.masters-masters.com/en/repos/RUB-SysSec/Microcode)
- [RUB-SysSec/OMEN · ★ 335 · C · Alpha](https://repo.masters-masters.com/en/repos/RUB-SysSec/OMEN)
- [RUB-SysSec/syntia · ★ 322 · Python · Alpha](https://repo.masters-masters.com/en/repos/RUB-SysSec/syntia)

## Nearby in Rust

- [frenck/YAMLRocks · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/frenck/YAMLRocks)
- [jolars/badness · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/jolars/badness)
- [furyteamtop/fury-antidetect-browser · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/furyteamtop/fury-antidetect-browser)
- [cuviper/probe-rs · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/cuviper/probe-rs)
- [sbstp/rust-igd · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/sbstp/rust-igd)
- [chyh1990/imageproc · ★ 106 · Rust · Prototype](https://repo.masters-masters.com/en/repos/chyh1990/imageproc)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.