NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Formal Methods

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Hyperproperties and Information Security

Formal framework for specifying and verifying hyperproperties including non-interference, observational determinism, and information declassification.

All Formal Methods PhD categories