Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1005.0737
Cited By
YAPA: A generic tool for computing intruder knowledge
5 May 2010
M. Baudet
V. Cortier
S. Delaune
Re-assign community
ArXiv
PDF
HTML
Papers citing
"YAPA: A generic tool for computing intruder knowledge"
1 / 1 papers shown
Title
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
S. Delaune
L. Hirschi
18
32
0
26 Oct 2016
1
