Publication Overview

Christoph Sprenger and Michael Backes and David A. Basin and Birgit Pfitzmann and Michael Waidner

Cryptographically Sound Theorem Proving

Published in: CSFW
Year: 2006
Pages: 153-166