Cryptographically sound theorem proving (2006)

by C Sprenger, M Backes, D A Basin, B Pfitzmann, M Waidner
Venue:In CSFW