Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer

Santiago Escobar, Catherine Meadows, José Meseguer

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science