The following pages link to Apte (Q32422):
Displaying 5 items.
- A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (Q511946) (← links)
- A procedure for deciding symbolic equivalence between sets of constraint systems (Q2013557) (← links)
- On Communication Models When Verifying Equivalence Properties (Q3304813) (← links)
- Analysing privacy-type properties in cryptographic protocols (invited talk) (Q4993330) (← links)
- A reduced semantics for deciding trace equivalence (Q5270090) (← links)