Pages that link to "Item:Q3631375"
From MaRDI portal
The following pages link to Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption (Q3631375):
Displaying 6 items.
- Computing OR on a randomized fixed adversary CRCW PRAM (Q287164) (← links)
- Receiver-anonymity in rerandomizable RCCA-secure cryptosystems resolved (Q2139637) (← links)
- Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications (Q2178852) (← links)
- Rerandomizable RCCA Encryption (Q3612568) (← links)
- Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)