Cryptographically Sound Theorem Proving (2006)

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