Access Control Inference for Smart Contracts


Date

2020

Publication Type

Master Thesis

ETH Bibliography

yes

Citations

Altmetric

Data

Rights / License

Publication status

published

External links

Editor

Contributors

Examiner : Dimitrov, D.
Examiner : Tsankov, P.
Examiner : Vechev, Martin

Book title

Journal / series

Volume

Pages / Article No.

Publisher

ETH Zurich

Event

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

03948 - Vechev, Martin / Vechev, Martin check_circle

Notes

Funding

Related publications and datasets