NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cryptographic Protocol Formal Verification

Application of formal methods and automated theorem proving to verify security properties and identify vulnerabilities in cryptographic protocols.