The following pages link to On the Security of PKCS #11 (Q5187968):
Displayed 8 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)
- Guessing bank PINs by winning a mastermind game (Q692940) (← links)
- Safely composing security protocols (Q1028731) (← links)
- Secure key management policies in strand spaces (Q2154015) (← links)
- A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case (Q2835591) (← links)
- An Introduction to Security API Analysis (Q3092171) (← links)
- A Provably Secure PKCS#11 Configuration Without Authenticated Attributes (Q5854431) (← links)