Quantitative model checking of an RSA-based email protocol on mobile devices.

Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros

Browse the full ISCC paper archive.