Andrew M. Marshall

According to our database, Andrew M. Marshall authored at least 26 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent.

Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

CoRR, 2024

2023

Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes.

Veena Ravishankar, Andrew M. Marshall

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms.

Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek

Proceedings of the 13th International Symposium on Games, 2022

Preface.

Temur Kutsia, Andrew M. Marshall

Ann. Math. Artif. Intell., 2022

Combined Hierarchical Matching: the Regular Case.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Non-disjoint Combined Unification and Closure by Equational Paramodulation.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Computing knowledge in equational extensions of subterm convergent theories.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Math. Struct. Comput. Sci., 2020

Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract).

Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek

Proceedings of the 34th International Workshop on Unification, 2020

Terminating Non-Disjoint Combined Unification (Extended Abstract).

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the 34th International Workshop on Unification, 2020

Terminating Non-disjoint Combined Unification.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Rule-Based Unification in Combined Theories and the Finite Variant Property.

Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Language and Automata Theory and Applications, 2019

On Asymmetric Unification for the Theory of XOR with a Homomorphism.

Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2017

Notions of Knowledge in Combinations of Theories Sharing Constructors.

Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Proceedings of the Automated Deduction - CADE 26, 2017

2015

On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry.

Andrew M. Marshall, Catherine Meadows, Paliath Narendran

Log. Methods Comput. Sci., 2015

Unification and Matching in Hierarchical Combinations of Syntactic Theories.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Hierarchical Combination of Matching Algorithms (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen

Proceedings of the 28th International Workshop on Unification, 2014

On Asymmetric Unification and the Combination Problem in Disjoint Theories.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Hierarchical Combination of Unication Algorithms (Extended Abstract).

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the 27th International Workshop on Unification, 2013

Hierarchical Combination.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Proceedings of the Automated Deduction - CADE-24, 2013

2012

New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants.

Andrew M. Marshall, Paliath Narendran

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Unification over Distributive Exponentiation (Sub)Theories.

Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran

J. Autom. Lang. Comb., 2011

2010

On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra

Proceedings of the Proceedings 24th International Workshop on Unification, 2010

Unification modulo a partial theory of exponentiation

Deepak Kapur, Andrew M. Marshall, Paliath Narendran

Proceedings of the Proceedings 24th International Workshop on Unification, 2010