Publications :: Search

Show author

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

Author information
First name:	Catherine
Last name:	Meadows
DBLP:	99/395
Rating:	(not rated yet)
Bookmark:

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

Show item 1 to 10 of 90  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Hubert Comon-Lundh, Catherine Meadows. Special Issue on Security and Rewriting Foreword.	J. Autom. Reasoning 2012, Volume 48	(0)	2012
	Conference paper Dusko Pavlovic, Catherine Meadows. Actor-Network Procedures - (Extended Abstract).	Distributed Computing and Internet Technology - 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings 2012	(0)	2012
	Conference paper Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions.	Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings 2012	(0)	2012
	Journal article Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden. Dedication.	Electr. Notes Theor. Comput. Sci. 2012, Volume 286	(0)	2012
	Journal article Santiago Escobar, Catherine Meadows, José Meseguer. State Space Reduction in the Maude-NRL Protocol Analyzer	CoRR 2011, Volume 0	(0)	2011
	Journal article Dusko Pavlovic, Catherine Meadows. Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions	CoRR 2011, Volume 0	(0)	2011
	Conference paper Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse. Protocol analysis in Maude-NPA using unification modulo homomorphic encryption.	Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark 2011	(0)	2011
	Book chapter Catherine Meadows. Applications of Formal Methods to Intrusion Detection.	Encyclopedia of Cryptography and Security, 2nd Ed. 2011	(0)	2011
	Book chapter Catherine Meadows. Formal Methods in Certification and Evaluation.	Encyclopedia of Cryptography and Security, 2nd Ed. 2011	(0)	2011
	Book chapter Catherine Meadows. Program Verification and Security.	Encyclopedia of Cryptography and Security, 2nd Ed. 2011	(0)	2011

Show item 1 to 10 of 90  

Your query returned 90 matches in the database.