Visible to the public Towards Mechanized Proofs of Composable Security Properties

Submitted by JasonGigax on Wed, 06/22/2022 - 1:37pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Towards Mechanized Proofs of Composable Security Properties
Switch to experimental viewer