Pages that link to "Item:Q2829955"
From MaRDI portal
The following pages link to Linicrypt: A Model for Practical Cryptography (Q2829955):
Displaying 5 items.
- Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949) (← links)
- Formal analysis of symbolic authenticity (Q831950) (← links)
- Three halves make a whole? Beating the half-gates lower bound for garbled circuits (Q2120069) (← links)
- Moving the bar on computationally sound exclusive-or (Q2148759) (← links)
- Characterizing collision and second-preimage resistance in Linicrypt (Q2175923) (← links)
