Conference Proceedings

A Probabilistic polynomial-time calculus for analysis of cryptographic protocols: (Preliminary report)

J Mitchell, A Ramanathan, A Scedrov, V Teague

Electronic Notes in Theoretical Computer Science | Published : 2001

Citation metrics