Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ernie Cohen

First-Order Verification of Cryptographic Protocols

Journal of Computer Security

Computer Networks

English