NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Program Synthesis Secure Code Generation Verification

Use of automated program synthesis techniques to generate cryptographically secure code with formal correctness proofs.