Visible to the public Towards Mechanized Proofs of Composable Security Properties

Submitted by Alley Stoughton on Wed, 01/08/2020 - 1:10pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Towards Mechanized Proofs of Composable Security Properties
Switch to experimental viewer