Towards Mechanized Proofs of Composable Security Properties

  • Project Highlight Slides
  • Applied cryptography
  • Cryptography
  • Theory Formal Methods and Language-based Security
  • 1801564
  • SaTC PI Meeting 2022
Submitted by Jason Gigax on