7 citations · 25 across the 16 of their papers we have counts for
1 paper · 1 filter
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…