Securify: Practical security analysis of smart contracts

P Tsankov, A Dan, D Drachsler-Cohen… - Proceedings of the …, 2018 - dl.acm.org
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …
被引用次数：1182 相关文章
[PDF] ethz.ch

[PDF][PDF] Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler-Cohen, A Gervais… - 2018 - files.sri.inf.ethz.ch
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, DD Cohen, A Gervais… - arXiv preprint arXiv …, 2018 - arxiv.org
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler Cohen… - arXiv e …, 2018 - ui.adsabs.harvard.edu
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …
[PDF] cointhinktank.com

[PDF][PDF] Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler-Cohen, A Gervais… - cointhinktank.com
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler-Cohen… - Proceedings of the …, 2018 - discovery.ucl.ac.uk
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

[引用][C] Securify

P Tsankov, A Dan, D Drachsler-Cohen… - Proceedings of the …, 2018 - folia.unifr.ch
Securify SONAR logo Log in Sign up EN English Français Deutsch Italiano Back Securify
Journal article Securify Tsankov, Petar ETH Zurich, Zurich, Switzerland Dan, Andrei ETH …
[PDF] technion.ac.il

[PDF][PDF] Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler-Cohen, A Gervais… - 2018 - ddana.net.technion.ac.il
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …
[PDF] free.fr

[PDF][PDF] Securify: Practical Security Analysis of Smart Contracts

P Tsankov, A Dan, D Drachsler-Cohen, A Gervais… - 2018 - wolf.philippe.free.fr
Permissionless blockchains allow the execution of arbitrary programs (called smart
contracts), enabling mutually untrusted entities to interact without relying on trusted third …

[引用][C] Securify

P Tsankov, A Dan, D Drachsler-Cohen… - Proceedings of the 2018 …, 2018 - sonar.ch
Securify SONAR logo Log in Sign up EN English Français Deutsch Italiano Back Securify
Journal article Securify Tsankov, Petar ETH Zurich, Zurich, Switzerland Dan, Andrei ETH …