Enrich-by-Need Protocol Analysis for Diffie-Hellman.

Published in: Foundations of Security, Protocols, and Equational Reasoning (2019)