Search form

Formal Methods Section

You are here

Code 5543 is the Formal Methods Section in the Center for High Assurance Computer Systems Branch of the Information Technology Division.

The mission of the Formal Methods Section is to perform research on extensible and adaptable foundational theories that can be applied to present and emerging security problems. Our current areas of interest are listed below.

Cryptographic Protocol and Analysis

Theory and Design

Applications of rewriting logic and unification to cryptographic protocol analysis

Logical and mathematical techniques for verifying security of authentication in pervasive computing