NTHRYS › PhD Assistance › Cybersecurity

Cybersecurity

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cryptographic Backdoor Detection Formal Verification Methods

Formal verification techniques for detecting deliberately or accidentally introduced cryptographic weaknesses in algorithm specifications.