@article{Cr2010naxosautomatic,
  title  = {{Session-StateReveal is stronger than eCK's EphemeralKeyReveal: Using automatic analysis to attack the NAXOS protocol}},
  author = {Cas Cremers},
  journal = {International Journal of Applied Cryptography (IJACT)},
  year = {2010},
  volume = {2},
  Issue = {2},
  pages = {83--99},
}