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: https://scholar.google.com/scholar?start=10&q=smart+contract+improvement&hl=en&as_sdt=0,5. It should have a theoretical and coding component if necessary (Qualitative and quantitative research).