Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Paliath
    Last name: Narendran
    DBLP: n/PaliathNarendran
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 25 of 102  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch.
    Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen.
    On Asymmetric Unification and the Combination Problem in Disjoint Theories.
    Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse.
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran.
    On Forward Closure and the Finite Variant Property.
    Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran.
    Unication Problems Modulo a Theory of Until.
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination of Unication Algorithms (Extended Abstract).
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo Homomorphic Encryption.
    J. Autom. Reasoning 2012, Volume 48 (0) 2012
    Conference paper
    Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo Chaining.
    Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo Synchronous Distributivity.
    Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Andrew M. Marshall, Paliath Narendran.
    New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.
    Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 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
    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
    Journal article
    Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran.
    Unification over Distributive Exponentiation (Sub)Theories.
    Journal of Automata, Languages and Combinatorics 2011, Volume 16 (0) 2011
    Journal article
    Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch.
    String Rewriting and Security Analysis: An Extension of a Result of Book and Otto.
    Journal of Automata, Languages and Combinatorics 2011, Volume 16 (0) 2011
    Journal article
    Deepak Kapur, Andrew Marshall, Paliath Narendran.
    Unification modulo a partial theory of exponentiation
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Paliath Narendran, Andrew Marshall, Bibhu Mahapatra.
    On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch.
    Cap unification: application to protocol security modulo homomorphic encryption.
    Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010 2010 (0) 2010
    Conference paper
    Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo Homomorphic Encryption.
    Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Benjamin Carle, Paliath Narendran.
    On Extended Regular Expressions.
    Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Thierry Boy de la Tour, Mnacho Echenim, Paliath Narendran.
    Unification and Matching Modulo Leaf-Permutative Equational Presentations.
    Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch.
    Intruders with Caps.
    Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings 2007 (0) 2007
    Conference paper
    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
    Conference paper
    Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch.
    Closure properties and decision problems of dag automata.
    Inf. Process. Lett. 2005, Volume 94 (0) 2005
    Conference paper
    Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch.
    Unification Modulo
    J. Autom. Reasoning 2004, Volume 33 (0) 2004
    Show item 1 to 25 of 102  

    Your query returned 102 matches in the database.