NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Formal Analysis of Security Protocols

Verification of authentication, key exchange, and secure communication protocols against formal threat models and attacker capabilities.