Program Verification with SAW

Contents:

  • Getting Started
  • Specifications and Verification
  • Memory Layout and Pointers
  • Compositional Verification of Salsa20
  • Extended Exercise: HMAC Maintenance
  • Example Solution: HMAC Maintenance
  • Further Reading
  • Glossary
Program Verification with SAW
  • »
  • Search

© Copyright 2020, Galois, Inc.

Built with Sphinx using a theme provided by Read the Docs.