B
Research Interests
Computational Complexity
Cryptography
Formal Methods
Foundations of Security
Logic in Computer Science
Cryptography and Data Security
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Computability, Logic, AI Algorithms
Cryptographic Implementations and Security