Christoph Sprenger Michael Backes David A. Basin Birgit Pfitzmann Michael Waidner Cryptographically Sound Theorem Proving. 153-166 2006 conf/csfw/2006 CSFW http://doi.ieeecomputersociety.org/10.1109/CSFW.2006.10 db/conf/csfw/csfw2006.html#SprengerBBPW06