Grain of Salt --- an Automated Way to Test Stream Ciphers through SAT Solvers

The Monte Carlo Method

N. Metropolis, Stanislaw M. Ulam · Journal of the American Statistical Association · 1949 · 6.1K citations

Natural Sciences, Mathematics, Physics +12

Probabilistic algorithm for testing primality

Michael O. Rabin · Journal of Number Theory · 1980 · 867 citations

Natural Sciences, Computer Science, Mathematics +10

The map method for synthesis of combinational logic circuits

M. Karnaugh · Transactions of the American Institute of Electrical Engineers Part I Communication and Electronics · 1953 · 627 citations

Engineering, Computer Engineering, Computer Science +12

Grain: a stream cipher for constrained environments

Martin Hell, Thomas Johansson, Willi Meier · International Journal of Wireless and Mobile Computing · 2007 · 555 citations

Computing, Computer Engineering, Computer Science +17

Trivium: A Stream Cipher Construction Inspired by Block Cipher Design Principles

Christophe De Cannière · Lirias (KU Leuven) · 2006 · 198 citations

Computing, Computer Science, Computer Systems +14