ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field
▾
Category
▾

Theoretical Computer Science

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Cryptographic Protocols and Security Proofs

Designs and analyzes formal security models and cryptographic constructions with provable guarantees against adversaries.

Post-Quantum Lattice Cryptography and Reduction Hardness
Zero-Knowledge Proofs Beyond the Polynomial Hierarchy
Composability and Side-Channel Resilience in Protocol Design
Homomorphic Encryption Trade-offs in Practical Computation
Formal Verification of Cryptographic Protocol Implementations
Quantum-Resistant Key Exchange in Adversarial Networks
Interactive Proofs and Information-Theoretic Boundaries
Threshold Cryptography and Secret Sharing Robustness
Provable Security Under Concurrent Execution Models
Indistinguishability Obfuscation and Functional Encryption

All Theoretical Computer Science PhD categories