NTHRYS › PhD Assistance › Formal Methods
Select a category to explore research frontiers
Loading categories...
Type-based enforcement of confidentiality and integrity policies through static analysis of information flow in programs.
All Formal Methods PhD categories