Pages that link to "Item:Q5758129"
From MaRDI portal
The following pages link to Automatic Analysis of the Security of XOR-Based Key Management Schemes (Q5758129):
Displayed 5 items.
- A generic security API for symmetric key management on cryptographic devices (Q462497) (← links)
- Reducing protocol analysis with XOR to the XOR-free case in the Horn theory based approach (Q540685) (← links)
- A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case (Q2835591) (← links)
- Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (Q3636822) (← links)
- Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives (Q5179050) (← links)