The following pages link to CONCUR 2003 - Concurrency Theory (Q5900576):
Displaying 4 items.
- System-level non-interference of constant-time cryptography. I: Model (Q2417947) (← links)
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- Unifying simulatability definitions in cryptographic systems under different timing assumptions (Q2484407) (← links)
- Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps (Q3637143) (← links)