@InProceedings{PBA+11,
author={S. Petridou and S. Basagiannis and N. Alexiou and G. Papadimitriou and P. Katsaros},
title={Quantitative Model Checking of an {RSA}-based Email Protocol on Mobile Devices},
booktitle={Proc. 16th IEEE Symposium on Computers and Communications (ISCC'11)},
year={2011},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}