122
click to vote
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...