Cryptographically sound theorem proving (2006)

by C Sprenger, M Backes, D Basin, B Pfitzmann, M Waidner
Venue:In Proc. 19th IEEE Computer Security Foundations Workshop (CSFW