Pages that link to "Item:Q2848035"
From MaRDI portal
The following pages link to Deciding the security of protocols with commuting public key encryption (Q2848035):
Displaying 5 items.
- An NP decision procedure for protocol insecurity with XOR (Q557799) (← links)
- Simulation relations for alternating Büchi automata (Q557801) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- On the relative soundness of the free algebra model for public key encryption (Q2848034) (← links)
- Challenges in the Automated Verification of Security Protocols (Q3541719) (← links)