Protocols are programs too: the meta-heuristic search for security protocols

Genetic algorithms in search, optimization, and machine learning

Choice Reviews Online · 1989 · 49.3K citations

Computing, Computer Science, Algorithms +14

Optimization by Simulated Annealing

Scott Kirkpatrick, C. D. Gelatt, M.P. Vecchi · Science · 1983 · 44.6K citations

Natural Sciences, Mathematics, Algorithms +10

A logic of authentication

Michael T. Burrows, M. Abadi, R. Needham · 1989 · 643 citations

Computing, Computer Science, Authentication +15

Proceedings of IEEE Symposium on Research in Security and Privacy

1993 · 309 citations

Computing, Computer Engineering, Computer Science +12

Three systems for cryptographic protocol analysis

Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen · Journal of Cryptology · 1994 · 235 citations

Computing, Computer Science, Systems Engineering +12