7 citations · 21 across the 8 of their papers we have counts for
1 paper · 2 filters
Santiago Escobar, Catherine Meadows, Jose Meseguer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different…