Hi,
I do not have the time to answer right now, but I will do so later.
Best regards,
Tristan Ninet
- Mail original -
> De: "Tero Kivinen"
> À: "Tristan Ninet"
> Cc: "Paul Wouters" , "ipsec@ietf.org WG" ,
> "Olivier Zendra"
shows the limitations of formal proofs in the absence of
> understanding operational deployments and implementation details. And that
> one
> should never describe one's own inventions as "novel". Leave that praise to
> others.
We should indeed have contacted the IPsec community at IETF and the vendors of
strongswan and libreswan. It would have been interesting to discuss the attack
with you prior to publication. We hope that the answers and explanations we
provided above remove (at least some of) your concerns with this paper.
Best Regards,
Tristan Ninet
___
IPsec mailing list
IPsec@ietf.org
https://www.ietf.org/mailman/listinfo/ipsec