solidity security research