2 citations · 2 across the 1 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…