Hubert Comon-Lundh

Available identifiers

zbMath Open comon-lundh.hubertMaRDI QIDQ462487

List of research outcomes

Publication	Date of Publication	Type
A procedure for deciding symbolic equivalence between sets of constraint systems	2017-08-08	Paper
Deciding security properties for cryptographic protocols. application to key cycles	2015-09-17	Paper
Deducibility constraints and blind signatures	2014-10-20	Paper
Computational and symbolic anonymity in an unbounded network	2013-11-19	Paper
Tractable Inference Systems: An Extension with a Deducibility Predicate	2013-06-14	Paper
About models of security protocols	2012-10-19	Paper
Towards Unconditional Soundness: Computationally Complete Symbolic Attacker	2012-06-29	Paper
Security Proof with Dishonest Keys	2012-06-29	Paper
Computational Soundness of Indistinguishability Properties without Computable Parsing	2012-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3113670	2012-01-23	Paper
Automating Security Analysis: Symbolic Equivalence of Constraint Systems	2010-09-14	Paper
Verification: Theory and Practice	2010-03-23	Paper
Deducibility Constraints	2010-01-14	Paper
Models and Proofs of Protocol Security: A Progress Report	2009-06-30	Paper
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions	2009-06-30	Paper
Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables	2009-06-09	Paper
Deducibility Constraints, Equational Theory and Electronic Money	2009-03-06	Paper
Challenges in the Automated Verification of Security Protocols	2008-11-27	Paper
Visibly Tree Automata with Memory and Constraints	2008-08-07	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Tree Automata with Memory, Visibility and Structural Constraints	2007-09-07	Paper
Associative-Commutative Deducibility Constraints	2007-09-03	Paper
Term Rewriting and Applications	2005-11-11	Paper
Security properties: two agents are sufficient	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4447230	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417886	2003-07-30	Paper

Research outcomes over time

This page was built for person: Hubert Comon-Lundh