Jonathan K. Millen

Publication Activity (10 Years)

Years Active: 1967-2021
Publications (10 Years): 2

Top Topics

Heuristic Search

Constraint Solving

Formal Analysis

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

Protocols, Strands, and Logic

Publications

Sreekanth Malladi, Jonathan K. Millen
Adapting Constraint Solving to Automatically Analyze UPI Protocols. Protocols, Strands, and Logic (2021)
Jonathan K. Millen
A Long, Slow Conversation. Foundations of Security, Protocols, and Equational Reasoning (2019)
John D. Ramsdell, Joshua D. Guttman, Jonathan K. Millen, Brian O'Hanlon
An Analysis of the CAVES Attestation Protocol using CPSA CoRR (2012)
George Coker, Joshua D. Guttman, Peter A. Loscocco, Amy L. Herzog, Jonathan K. Millen, Brian O'Hanlon, John D. Ramsdell, Ariel Segall, Justin Sheehy, Brian T. Sniffen
Principles of remote attestation. Int. J. Inf. Sec. 10 (2) (2011)
Sushil Jajodia, Jonathan K. Millen
Editorial. J. Comput. Secur. 18 (2) (2010)
Jonathan K. Millen
Rewriting Techniques in the Constraint Solver. Electron. Notes Theor. Comput. Sci. 234 (2009)
Jonathan K. Millen, Vitaly Shmatikov
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. J. Comput. Secur. 13 (3) (2005)
Jonathan K. Millen, Vitaly Shmatikov
Symbolic protocol analysis with an Abelian group operator or Diffie-Hellman exponentiation. J. Comput. Secur. 13 (4) (2005)
Jonathan K. Millen, Grit Denker
MuCAPSL. DISCEX (1) (2003)
Jonathan K. Millen
On the freedom of decryption. Inf. Process. Lett. 86 (6) (2003)
Jonathan K. Millen, Vitaly Shmatikov
Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. CSFW (2003)
Grit Denker, Jonathan K. Millen, Yutaka Miyake
Cross-Domain Access Control via PKI. POLICY (2002)
Grit Denker, Jonathan K. Millen
Modeling Group Communication Protocols Using Multiset Term Rewriting. Electron. Notes Theor. Comput. Sci. 71 (2002)
Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor
Non-Interference: Who Needs It? CSFW (2001)
Véronique Cortier, Jonathan K. Millen, Harald Rueß
Proving Secrecy is Easy Enough. CSFW (2001)
Jonathan K. Millen, Vitaly Shmatikov
Constraint solving for bounded-process cryptographic protocol analysis. CCS (2001)
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. J. Comput. Secur. 9 (4) (2001)
Jonathan K. Millen, Rebecca N. Wright
Reasoning about Trust and Insurance in a Public Key Infrastructure. CSFW (2000)
Jonathan K. Millen
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. WRLA (2000)
Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW (2000)
Jonathan K. Millen, Harald Rueß
Protocol-Independent Secrecy. IEEE Symposium on Security and Privacy (2000)
Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
Efficient fault-tolerant certificate revocation. CCS (2000)
Jonathan K. Millen
20 Years of Covert Channel Modeling and Analysis. IEEE Symposium on Security and Privacy (1999)
Jonathan K. Millen
Local Reconfiguration Policies. IEEE Symposium on Security and Privacy (1999)
Jonathan K. Millen, Hai-Ping Ko
Narrowing terminates for encryption. CSFW (1996)
Jonathan K. Millen
CAPSL: Common Authentication Protocol Specification Language. NSPW (1996)
Jonathan K. Millen
The Interrogator model. IEEE Symposium on Security and Privacy (1995)
Jonathan K. Millen
Unwinding Forward Correctability. J. Comput. Secur. 3 (1) (1995)
Jonathan K. Millen
Unwinding Forward Correctability. CSFW (1994)
Richard A. Kemmerer, Catherine A. Meadows, Jonathan K. Millen
Three System for Cryptographic Protocol Analysis. J. Cryptol. 7 (2) (1994)
Jonathan K. Millen
A Resource Allocation Model for Denial of Service Protection. J. Comput. Secur. 2 (2-3) (1993)
Jonathan K. Millen, Teresa F. Lunt
Security for object-oriented database systems. IEEE Symposium on Security and Privacy (1992)
Jonathan K. Millen
A resource allocation model for denial of service. IEEE Symposium on Security and Privacy (1992)
Jonathan K. Millen
Hookup Security for Synchronous Machines. CSFW (1990)
Jonathan K. Millen
Finite-State Noiseless Covert Channels. CSFW (1989)
Jonathan K. Millen
Models of Multilevel Computer Security. Adv. Comput. 29 (1989)
Jonathan K. Millen
Covert Channel Capacity. IEEE Symposium on Security and Privacy (1987)
Jonathan K. Millen, Sidney C. Clark, Sheryl B. Freedman
The Interrogator: Protocol Security Analysis. IEEE Trans. Software Eng. 13 (2) (1987)
Jonathan K. Millen
The Interrogator: A Tool for Cryptographic Protocol Security. IEEE Symposium on Security and Privacy (1984)
Bahaa W. Fam, Jonathan K. Millen
The Channel Assignment Problem. IEEE Symposium on Security and Privacy (1983)
Jonathan K. Millen
Kernel Isolation for the PDP-11/70. IEEE Symposium on Security and Privacy (1982)
Maureen Harris Cheheyl, Morrie Gasser, George A. Huff, Jonathan K. Millen
Verifying Security. ACM Comput. Surv. 13 (3) (1981)
Jonathan K. Millen
Information Flow Analysis of Formal Specifications. IEEE Symposium on Security and Privacy (1981)
Jonathan K. Millen
Recent verification work at MITRE. ACM SIGSOFT Softw. Eng. Notes 6 (3) (1981)
Jonathan K. Millen, David L. Drake
An experiment with affirm and HDM. J. Syst. Softw. 2 (2) (1981)
Morrie Gasser, Jonathan K. Millen, William F. Wilson
A note on information flow into arrays. ACM SIGSOFT Softw. Eng. Notes 5 (1) (1980)
Jonathan K. Millen
Example of a formal flow violation. COMPSAC (1978)
Jonathan K. Millen
Security Kernel Validation in Practice. Commun. ACM 19 (5) (1976)
Jonathan K. Millen
Construction with Parallel Derivatives of the Closure of a Parallel Program Schema STOC (1974)
R. H. Bullen Jr., Jonathan K. Millen
Microtext: the design of a microprogrammed finite state search machine for full-text retrieval. AFIPS Fall Joint Computing Conference (1) (1972)
Jonathan K. Millen
CHARYBDIS: a LISP program to display mathematical expressions on typewriter-like devices. Symposium on Interactive Systems for Experimental Applied Mathematics (1967)