Pages that link to "Item:Q2429708"
From MaRDI portal
The following pages link to Universally composable symbolic security analysis (Q2429708):
Displaying 10 items.
- A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
- A method for symbolic analysis of security protocols (Q557806) (← links)
- Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (Q1761600) (← links)
- Universally composable anonymous hash certification model (Q2385415) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- (Q2957527) (← links)
- Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption (Q5418723) (← links)
- Theory of Cryptography (Q5711642) (← links)
- Formal Abstractions for Attested Execution Secure Processors (Q5738880) (← links)
- Theory of Cryptography (Q5898365) (← links)