Andrew M. Marshall

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 16

Top Topics

Cryptographic Algorithms

Cognitive Psychology

Extended Abstract

Equational Theories

Top Venues

Publications

Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. CoRR (2024)
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD (2023)
Veena Ravishankar, Andrew M. Marshall
Teaching an Undergraduate 5G Technology and Security Course, and Its Outcomes. SIGCSE (2) (2023)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Combined Hierarchical Matching: the Regular Case. FSCD (2022)
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF (2022)
Temur Kutsia, Andrew M. Marshall
Preface. Ann. Math. Artif. Intell. 90 (5) (2022)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Non-disjoint Combined Unification and Closure by Equational Paramodulation. FroCoS (2021)
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS (2021)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF (2020)
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF (2020)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Computing knowledge in equational extensions of subterm convergent theories. Math. Struct. Comput. Sci. 30 (6) (2020)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Terminating Non-disjoint Combined Unification. LOPSTR (2020)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos (2019)
Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR (2019)
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA (2019)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE (2017)
Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. Log. Methods Comput. Sci. 11 (2) (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Unification and Matching in Hierarchical Combinations of Syntactic Theories. FroCos (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Matching Algorithms (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA (2013)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination. CADE (2013)
Andrew M. Marshall, Paliath Narendran
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. IJCAR (2012)
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran
Unification over Distributive Exponentiation (Sub)Theories. J. Autom. Lang. Comb. 16 (2-4) (2011)
Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity UNIF (2010)
Deepak Kapur, Andrew M. Marshall, Paliath Narendran
Unification modulo a partial theory of exponentiation UNIF (2010)