Cybersecurity

Research Frontiers in Smart Contract Formal Verification Languages

Research on formal specification languages, automated verification, and testing frameworks for detecting vulnerabilities in Ethereum and blockchain contracts.

All Cybersecurity PhD categories