M.: Cryptographically sound theorem proving (0)

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