Formal Methods Section (Code 5543)

This page is part of the web for the Center for High Assurance Computer Systems.

The Formal Methods Section is responsible for research and consultation in formal methods for high assurance systems, including computer security model development and analysis, software specification and verification, covert channel analysis, cryptographic protocol analysis, and information theory.

Research Areas

Current research areas include:

  • Formal Models of Computer Security (POC John McLean)
  • Software Tools for Analyzing Cryptographic Protocols (POC Catherine Meadows)
  • Logics for Analyzing Cryptographic Protocols (POC Paul Syverson)
  • Covert Channel Analysis (POC Ira Moskowitz)
  • Formal Verification (POC Ira Moskowitz)

Publications

A list of our publications will be provided soon.

Return to the Organization Page.

Privacy Policy