NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Temporal Logic Model Checking Security Properties

Investigation of formal methods using temporal logic to verify complex security properties in distributed cryptographic protocols and systems.