Making a Nymbler Nymble using VERBS (Extended Version) Ryan Henry, Kevin Henry, and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1

First Page		Document Content
Date: 2011-07-10 02:35:14 Cryptography Public-key cryptography Secure communication Financial cryptography Cryptographic protocols Privacy-enhancing technologies Digital signature Proxy server Internet privacy Anonymity Enhanced privacy ID Pseudonymity		Making a Nymbler Nymble using VERBS (Extended Version) Ryan Henry, Kevin Henry, and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: cacr.uwaterloo.ca Download Document from Source Website File Size: 665,47 KB Share Document on Facebook

	On the Robustness of some Cryptographic Protocols for Mobile Agent Protection Volker Roth Fraunhofer Institut f¨ur Graphische Datenverarbeitung Rundeturmstraße 6, 64283 Darmstadt, Germany DocID: 1uZJK - View Document
	Verifying Cryptographic Protocols in Applied Pi Calculus Mark Ryan Ben Smyth DocID: 1uXvn - View Document
	Secure Cryptographic Protocols for E-commerce Transaction on the Internet DocID: 1uDkO - View Document
	Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp DocID: 1u5Us - View Document
	Cryptographic schemes Protocols Specifications of primitives DocID: 1u4P2 - View Document