Blockchain/Smart Contract Security Dissertation

I want someone with computer engineering expertise to help me with a blockchain/smart contracts thesis topic and proposal in the area of : smart contract security/improvement such as formal verification/analysis,A Smart Contract-based PKI and Identity System,vulnerability detection, machine learning based smart contract security, etc. I am open to new topics. These are some papers to look into the area:,5. It should have a theoretical and coding component if necessary (Qualitative and quantitative research).