@Article{	  cremers:session-statereveal:2010,
  author	= {Cas J.F. Cremers},
  journal	= {International Journal of Applied Cryptography (IJACT)},
  language	= {USenglish},
  number	= 2,
  pages		= {83--99},
  title		= {Session-StateReveal is stronger than eCK's
		  EphemeralKeyReveal: Using automatic analysis to attack the
		  NAXOS protocol},
  volume	= 2,
  year		= 2010,
  user		= {cremersc}
}