Formal methods and theory of security

This area covers mathematical techniques for specifying, analyzing, and verifying security properties of systems, including logical formalisms, models, and proof methods. It includes formal verification, model checking, cryptographic protocol analysis, and related theoretical foundations.