Publications :: Search

Show author

On this page you see the details of the selected author.

Below you find the publications which have been written by this author.

Show item 1 to 2 of 2

Select a publication
Show	Title	Venue	Rating	Date
	Deepak Kapur, Paliath Narendran, Lida Wang. A Unification Algorithm for Analysis of Protocols with Blinded Signatures.	Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005	(0)	2005
	Deepak Kapur, Paliath Narendran, Lida Wang. An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings 2003	(0)	2003

Your query returned 2 matches in the database.