Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from SmartML: Enhancing security and reliability in smart contract development. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
2023 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
2016 · External reference
Unresolved reference
External reference
A structural approach to operational semantics
2004 · External reference
A formal modeling language for smart contracts
2024 · External reference
Making smart contracts smarter
2016 · External reference
Securify: practical security analysis of smart contracts
2018 · External reference
Finding the greedy, prodigal, and suicidal contracts at scale
2018 · External reference
ETHBMC: a bounded model checker for smart contracts
2020 · External reference
eThor: practical and provably sound static analysis of Ethereum smart contracts
2020 · External reference
Verx: safety verification of smart contracts
2020 · External reference
Formal verification of workflow policies for smart contracts in Azure blockchain
2019 · External reference
Securing smart contract with runtime validation
2020 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Formal modeling and verification of smart contracts
2018 · External reference
Formal verification of smart contracts based on users and blockchain behaviors models
2018 · External reference
