Cryptography

Research Frontiers in Cryptographic Compiler for Program Verification

Compiler techniques integrating cryptographic verification checks and proofs into software compilation and runtime execution.

All Cryptography PhD categories