Search - Université Paris Cité Access content directly

Filter your results

3 Results
authIdHal_s : pascalafourcade
Image document

Intruder deduction for the equational theory of Abelian groups with distributive encryption

Pascal Lafourcade , Denis Lugiez , Ralf Treinen
Information and Computation, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩
Journal articles hal-00496353v1
Image document

Intruder Deduction for AC-like Equational Theories with Homomorphisms

Pascal Lafourcade , Denis Lugiez , Ralf Treinen
Term Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan
Conference papers hal-01759946v1
Image document

Symbolic Protocol Analysis for Monoidal Equational Theories

Stéphanie Delaune , Pascal Lafourcade , Denis Lugiez , Ralf Treinen
Information and Computation, 2008, 206 (2-4), pp.312-351. ⟨10.1016/j.ic.2007.07.005⟩
Journal articles hal-00496352v1