%0 Journal Article %1 journals/iacr/SprengerBBPW06 %A Sprenger, Christoph %A Backes, Michael %A Basin, David A. %A Pfitzmann, Birgit %A Waidner, Michael %D 2006 %J IACR Cryptology ePrint Archive %K dblp %P 47 %T Cryptographically Sound Theorem Proving. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2006.html#SprengerBBPW06 %V 2006

@article{journals/iacr/SprengerBBPW06, added-at = {2018-08-14T00:00:00.000+0200}, author = {Sprenger, Christoph and Backes, Michael and Basin, David A. and Pfitzmann, Birgit and Waidner, Michael}, biburl = {https://www.bibsonomy.org/bibtex/20b41cca394fa1984644514aaaf6eab6b/dblp}, ee = {http://eprint.iacr.org/2006/047}, interhash = {6d6b9ba2b2523f3caf561b2098d89099}, intrahash = {0b41cca394fa1984644514aaaf6eab6b}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 47, timestamp = {2018-08-15T11:59:12.000+0200}, title = {Cryptographically Sound Theorem Proving.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2006.html#SprengerBBPW06}, volume = 2006, year = 2006 }