Iliano Cervesato
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The dolev-yao intruder is the most powerful attacker
Iliano Cervesato (2001) · 16th Annual Symposium on Logic in Computer Science—LICS