Jonathan K. Millen

Constraint solving for bounded-process cryptographic protocol analysis

Jonathan K. Millen, Vitaly Shmatikov · 2001 · 311 citations

Mathematical Programming, Reachability Analysis, Cryptographic Primitive +13

Principles of remote attestation

George Coker, Joshua D. Guttman, Peter Loscocco et al. · International Journal of Information Security · 2011 · 236 citations

Engineering, Information Security, Verification +8

Three systems for cryptographic protocol analysis

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

Cryptographic Primitive, Engineering, Information Security +8

Covert Channel Capacity

Jonathan K. Millen · 1987 · 220 citations

Engineering, Information Security, Information Leakage +17

The Interrogator: Protocol Secuity Analysis

Jonathan K. Millen, Susan C. Clark, S.B. Freedman · IEEE Transactions on Software Engineering · 1987 · 205 citations

Engineering, Information Security, Graphical User Interface +21