Concepedia

Hubert Comon-Lundh

HC

9

Publications

523

Citations

9

H-Index

2003

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Laboratoire Spécification et Vérification

Hubert Comon-Lundh is an author at École Normale Supérieure Paris-Saclay specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationData SecurityCryptographyInformation SecuritySecurity

Publications per year

2003–2017

9

Publications

9

Intruder deductions, constraint solving and insecurity decision in presence of exclusive or

Hubert Comon-Lundh, Vitaly Shmatikov · 2003 · 165 citations

Cryptographic Primitive, Engineering, Information Security +22

Computational soundness of observational equivalence

Hubert Comon-Lundh, Véronique Cortier · 2008 · 87 citations

Cryptographic Primitive, Engineering, Information Security +20

Security properties: two agents are sufficient

Hubert Comon-Lundh, Véronique Cortier · Science of Computer Programming · 2004 · 81 citations

Normative Multi-agent System, Engineering, Security Properties +7

Trace equivalence decision

Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune · 2011 · 58 citations

Computational Complexity Theory, Engineering, Cryptographic Primitive +19

Deciding security properties for cryptographic protocols. application to key cycles

Hubert Comon-Lundh, Véronique Cortier, Eugen Zălinescu · ACM Transactions on Computational Logic · 2010 · 52 citations

Cryptographic Primitive, Engineering, Information Security +18

Rows per page

1–5 of 9