Pages that link to "Item:Q5739224"
From MaRDI portal
The following pages link to Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model (Q5739224):
Displaying 4 items.
- Formal analysis of symbolic authenticity (Q831950) (← links)
- More efficient structure-preserving signatures -- or: bypassing the type-III lower bounds (Q2167723) (← links)
- A Shuffle Argument Secure in the Generic Model (Q2953798) (← links)
- On the security of functional encryption in the generic group model (Q6095189) (← links)