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