29 citations
- University of LisbonPT6 papers
- National Research Council CanadaCA5 papers
- Universidade AbertaPT5 papers
- Universidade Nova de LisboaPT4 papers
- University of DenverUS4 papers
- University of OttawaCA4 papers
- SLAC National Accelerator LaboratoryUS3 papers
- California State University, FresnoUS2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Centro de Matemática Computacional e EstocásticaPT2 papers
- Linac Coherent Light SourceUS2 papers
- Max Planck - University of Ottawa Centre for Extreme and Quantum PhotonicsCA2 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024★ 1 cited
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur +2
We introduce a new form of restricted term rewrite system, the graph-embedded term rewrite system. These systems, and thus the name, are inspired by the graph minor relation and ar…
cs.LO2022★ 2 cited
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, Raymond Kauffman +8
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable pr…
cs.LO2015★ 2 cited
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
Andrew M Marshall, Catherine Meadows, Paliath Narendran
An algorithm for unification modulo one-sided distributivity is an early result by Tidén and Arnborg. More recently this theory has been of interest in cryptographic protocol analy…