# Hubert Comon-Lundh

Affiliations:- ENS Cachan, Paris, France

According to our database

Collaborative distances:

^{1}, Hubert Comon-Lundh authored at least 85 papers between 1986 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2020

Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets.

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2017

Inf. Comput., 2017

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2014

Inf. Comput., 2014

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems.

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

J. Autom. Reason., 2012

IACR Cryptol. ePrint Arch., 2012

IACR Cryptol. ePrint Arch., 2012

Computational Soundness of Indistinguishability Properties without Computable Parsing.

Proceedings of the Information Security Practice and Experience, 2012

2011

Dagstuhl Reports, 2011

How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Deciding security properties for cryptographic protocols. application to key cycles.

ACM Trans. Comput. Log., 2010

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

JSIAM Lett., 2009

Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables.

Proceedings of the Formal to Practical Security, 2009

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Proceedings of the Advances in Computer Science, 2009

2008

Log. Methods Comput. Sci., 2008

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Proceedings of the STACS 2007, 2007

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Proceedings of the Rewriting, 2007

2006

Proceedings of the Advances in Computer Science, 2006

2005

Theor. Comput. Sci., 2005

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Sci. Comput. Program., 2004

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

ACM Trans. Comput. Log., 2003

Inf. Comput., 2003

New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols.

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Proceedings of the Verification: Theory and Practice, 2003

2001

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Proceedings of the 42nd Annual Symposium on Foundations of Computer Science, 2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Inf. Comput., 2000

Inf. Comput., 2000

Proceedings of the Computer Science Logic, 2000

1999

Constraints An Int. J., 1999

Proceedings of the CONCUR '99: Concurrency Theory, 1999

Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

1998

Completion of Rewrite Systems with Membership Constraints. Part II: Constraint Solving.

J. Symb. Comput., 1998

Completion of Rewrite Systems with Membership Constraints. Part I: Deduction Rules.

J. Symb. Comput., 1998

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Theor. Comput. Sci., 1997

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Proceedings of the Trees in Algebra and Programming, 1996

1995

Math. Syst. Theory, 1995

Linear diophantine equations, Presburger arithmetic and finite automata.

Proceedings of the 9th International Workshop on Unification, 1995

Proceedings of the Proceedings, 1995

Proceedings of the Proceedings, 1995

1994

Inf. Comput., August, 1994

Inf. Comput., May, 1994

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Proceedings of the STACS 94, 1994

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Proceedings of the Trees in Algebra and Programming, 1994

1993

Theor. Comput. Sci., 1993

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Constraints in Term Algebras (Short Survey).

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

J. Symb. Comput., 1991

Disunification: A Survey.

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Int. J. Found. Comput. Sci., 1990

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

J. Symb. Comput., 1989

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

Unification et disunification : théorie et applications. (Unification and disunification in free algebras and in initial algebras : theory and applications).

PhD thesis, 1988

Proceedings of the Algebraic and Logic Programming, 1988

1986

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Proceedings of the Applied Algebra, 1986