| Formal Analysis of Symbolic Authenticity | 0 | 0.34 | 2021 |
| Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems | 1 | 0.39 | 2021 |
| Bounded ACh unification | 0 | 0.34 | 2020 |
| Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. | 9 | 0.67 | 2012 |
| Unification modulo synchronous distributivity | 2 | 0.39 | 2012 |
| Cap unification: application to protocol security modulo homomorphic encryption | 4 | 0.44 | 2010 |
| Automatic decidability | 9 | 0.64 | 2002 |
| Basic completion with E-cycle Simplification | 2 | 0.42 | 1999 |
