July 1, 2020· 2020 6th International Conference on Big Data Computing and Communications (BIGCOM)
conference-paper
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis
Abstract
The following topics are dealt with: learning (artificial intelligence); wireless LAN; theorem proving; optimisation; security of data; cloud computing; formal verification; formal specification; traffic engineering computing; data privacy.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.