The following pages link to (Q4494379):
Displaying 7 items.
- Efficient representation of the attacker's knowledge in cryptographic protocols analysis (Q931442) (← links)
- On the symbolic reduction of processes with cryptographic functions. (Q1853612) (← links)
- Alternating two-way AC-tree automata (Q2373699) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically (Q2484410) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Information based reasoning about security protocols (Q2841219) (← links)
