M.: Cryptographically sound theorem proving (2006)

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