The following pages link to (Q4499295):
Displaying 6 items.
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
- Secure multi-party computation made simple (Q2489932) (← links)
- Generic Constant-Round Oblivious Sorting Algorithm for MPC (Q3092362) (← links)
- Private Circuits II: Keeping Secrets in Tamperable Circuits (Q3593103) (← links)
- Symmetric Authentication within a Simulatable Cryptographic Library (Q5030211) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)