Number of documents



Journal articles1 document

  • Stéphanie Delaune, Florent Jacquemard. Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. Journal of Automated Reasoning, Springer Verlag, 2006, 36 (1-2), pp.85-124. ⟨10.1007/s10817-005-9017-7⟩. ⟨inria-00578855⟩

Conference papers4 documents

  • Florent Jacquemard, Michael Rusinowitch, Laurent Vigneron. Tree automata with equality constraints modulo equational theories. 3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩. ⟨inria-00579011⟩
  • Adel Bouhoula, Florent Jacquemard. Automating Sufficient Completeness Check for Conditional and Constrained TRS. 20th International Workshop on Unification (UNIF), Aug 2006, Seattle, United States. ⟨inria-00579017⟩
  • Adel Bouhoula, Florent Jacquemard. Security Protocol Verification with Implicit Induction and Explicit Destructors. 1st International Workshop on Security and Rewriting Techniques (SecReT), Jul 2006, Venice, Italy. pp.37-44. ⟨inria-00579018⟩
  • Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard. The Confluence Problem for Flat TRSs. 8th International Conference Artificial Intelligence and Symbolic Computation (AISC), Sep 2006, Beijing, China. pp.68-81, ⟨10.1007/11856290_8⟩. ⟨inria-00579010⟩

Reports1 document

  • Adel Bouhoula, Florent Jacquemard. Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems. [Research Report] RR-5863, INRIA. 2006, pp.17. ⟨inria-00070163⟩