Cas J. F. Cremers. Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol. IJACT, 2(2):83-99, 2010. [doi]
@article{Cremers10,
title = {Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol},
author = {Cas J. F. Cremers},
year = {2010},
doi = {10.1504/IJACT.2010.038304},
url = {http://dx.doi.org/10.1504/IJACT.2010.038304},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/Cremers10},
cites = {0},
citedby = {0},
journal = {IJACT},
volume = {2},
number = {2},
pages = {83-99},
}