Cryptographically Sound Theorem Proving (2006)

by Christoph Sprenger , Michael Backes , David Basin , Birgit Pfitzmann , Michael Waidner
Venue:In Proc. 19th IEEE CSFW
Citations:33 - 11 self