Lv1
50 积分 2020-07-30 加入
Securify
3年前
已完结
VerX: Safety Verification of Smart Contracts
3年前
已完结
SmartCheck: Static Analysis of Ethereum Smart Contracts
3年前
已完结
Security Assurance for Smart Contract
3年前
已完结
A formal verification tool for Ethereum VM bytecode
3年前
已完结
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
3年前
已完结
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models
3年前
已完结
Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities
3年前
已完结
Clairvoyance
3年前
已完结
VULTRON: Catching Vulnerable Smart Contracts Once and for All
3年前
已完结
皖公网安备34019202002308
