Towards Mechanized Proofs of Composable Security Properties

  • Project Slides
  • SaTC PI Meeting 2019
  • 1801564
  • Formal Methods and Language-based Security
  • cryptography theory
Submitted by Alley Stoughton on