Title	Date
A Rewriting-Based Forwards Semantics for Maude-NPA	2014-06-03
Narrowing Reachability Analysis	2011-08-24
Flexible Formal Methods for High Assurance: The Maude Experience	2011-08-24
Maude-NPA: Equation-Aware Cryptographic Protocal Analysis	2012-05-10
Advances on Protocol Indistinguishability Analysis in Maude-NPA	2013-11-08