Pages that link to "Item:Q5458849"

The following pages link to Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849):

Displaying 3 items.

• Automated proofs of block cipher modes of operation (Q287326) (← links)
• A survey of symbolic methods in computational analysis of cryptographic systems (Q540683) (← links)
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849) (← links)