Towards Mechanized Proofs of Composable Security Properties Download pdf Tags: Project Slides SaTC PI Meeting 2019 1801564 Formal Methods and Language-based Security cryptography theory License: CC-2.5 Submitted by Alley Stoughton on Wed, 01/08/2020 - 12:10