The following pages link to (Q4797389):
Displaying 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)
- An Introduction to Security API Analysis (Q3092171) (← links)
- Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives (Q5179050) (← links)
