Network Security

Research Frontiers in Secure Network Protocol Design

Formal analysis and design of network protocols with provable security properties against defined threat models and adversarial capabilities.

All Network Security PhD categories