Computing Knowledge in Security Protocols under Convergent Equational Theories.

Stefan Ciobaca, Stphanie Delaune, Steve Kremer

Browse the full CADE paper archive.