Proving Group Protocols Secure Against Eavesdroppers. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (IJCAR, 2008)

Reducing Equational Theories for the Decision of Static Equivalence. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (J. Autom. Reason., 2012)