Pages that link to "Item:Q2920124"

The following pages link to Simulation based security in the applied pi calculus (Q2920124):

Displaying 2 items.

• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
• Automated Verification of Equivalence Properties of Cryptographic Protocols (Q5278194) (← links)