Cybersecurity with focus on Programming Languages techniques to provide Formal Software Security Assurance: The set of my research interests is somehow dichotomous. One part is concerned with variants of logical frameworks and their application in computer science, the Theory of Programming Languages, and syntax, semantics and pragmatics of various calculi. Second part is about diverse aspects of Cybersecurity including varied Cybersecurity models, policies and mechanisms. The intersection of these two broad areas is recognized as Programming Languages-based Security which comprises different static and dynamic language-based techniques to design, implement and verify authorization systems, control-flow and information flow analysis tools, security protocols, etc.
