Arrow Research search

Author name cluster

Richard A. DeMillo

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

5 papers
1 author row

Possible papers

5

STOC Conference 1982 Conference Paper

Cryptographic Protocols

  • Richard A. DeMillo
  • Nancy A. Lynch
  • Michael Merritt

A cryptographic transformation is a mapping f from a set of cleartext messages, M, to a set of ciphertext messages. Since for m e M, f(m) should hide the contents of m from an enemy, f -1 should, in a certain technical sense, be difficult to infer from f(m) and public knowledge about f. A cryptosystem is a model of computation and communication which permits the manipulation of messages by cryptographic transformations.

Details

STOC Conference 1980 Conference Paper

The Consistency of "P = NP" and Related Problems with Fragments of Number Theory

  • Richard A. DeMillo
  • Richard J. Lipton

The main results of this paper demonstrate the consistency of “P = NP” and a variant of “NP @@@@ coNP” with certain natural fragments of number theory to be defined precisely in the sequel.@@@@ Consistency results represent an approach to the lower bound problems of complexity theory which points to a number of interesting lines of inquiry. Our ultimate goal is to make precise the difficulty of proving certain nontrivial lower bounds. Among the possibilities which follow from this approach are:

Details
v2026.09.13