Filter your results
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 1
|
|
sorted by
|
|
Intruder deduction for the equational theory of Abelian groups with distributive encryptionInformation and Computation, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩
Journal articles
hal-00496353v1
|
||
|
Intruder Deduction for AC-like Equational Theories with HomomorphismsTerm Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan
Conference papers
hal-01759946v1
|
||
|
Symbolic Protocol Analysis for Monoidal Equational TheoriesInformation and Computation, 2008, 206 (2-4), pp.312-351. ⟨10.1016/j.ic.2007.07.005⟩
Journal articles
hal-00496352v1
|