NTHRYS › PhD Assistance › Critical Infrastructure Protection

Critical Infrastructure Protection

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Infrastructure Control Protocol Formal Verification

Application of formal methods and theorem proving to verify correctness and security properties of critical industrial protocols.