toggle menu
close
close menu
Search
Research products
Publications
Research data
Research software
Other research products
Projects
Data sources
Organizations
Deposit
Link
Start linking
Learn more
Data sources
Repositories
Journals
Registries
Browse all
Funders
close
search
Search
Deposit
Link
Data sources
Funders
search
search
Sign in
Found an issue?
Give us feedback
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
GitHub
arrow_drop_down
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
GitHub
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Software Heritage
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
GitHub
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Software Heritage
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
GitHub
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
GitHub
Software
Data sources:
Software Heritage
image/svg+xml
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
Open Access logo, converted into svg, designed by PLoS. This version with transparent background.
http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg
art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos
http://www.plos.org/
Software Heritage
Software
Data sources:
Software Heritage
versions
View all 3 versions
link
Link to
share
share
Share
cite
Cite
add
Claim
close
Please grant OpenAIRE to access and update your ORCID works.
close
close
This Research product is the result of
merged Research products in OpenAIRE
.
You have already added
0 works
in your ORCID record related to the merged Research product.
west
close
This Research product is the result of
merged Research products in OpenAIRE
.
You have already added
0 works
in your ORCID record related to the merged Research product.
Continue
close
close
close
Select content type to embed
All Research products
arrow_drop_down
COPY SCRIPT
For further information contact us at
helpdesk@openaire.eu
mythril software on GitHub
mythril software on GitHub in support of 'Smart Contract Vulnerability Detection Technique: A Survey'
integration_instructions
Research software
keyboard_double_arrow_right
Software
close
close
mythril software on GitHub
Summary
Related research
(145)
Abstract
Mythril OSS: Security analysis tool for Ethereum smart contracts
145
Research products, page
1
of
15
Hybrid Quantum–Classical Deep Neural Networks Based Smart Contract Vulnerability Detection
2025
IsRelatedTo
close
close
A Framework and DataSet for Bugs in Ethereum Smart Contracts
2020
IsRelatedTo
close
close
Demystifying Invariant Effectiveness for Securing Smart Contracts
2024
IsRelatedTo
close
close
Analyzing the impact of elusive faults on blockchain reliability
2025
IsRelatedTo
close
close
OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities
2024
IsRelatedTo
close
close
A Generalized Formal Semantic Framework for Smart Contracts
2020
IsRelatedTo
close
close
Botract: abusing smart contracts and blockchain for botnet command and control
2022
IsRelatedTo
close
close
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
2025
IsRelatedTo
close
close
Principles of Security and Trust
2014
IsRelatedTo
close
close
Smart Contract Vulnerabilities on the Ethereum Blockchain: A Current Perspective
2020
IsRelatedTo
close
close
chevron_left
1
2
3
4
5
chevron_right
Found an issue?
Give us feedback
close
close
close
close
close