| 2009 | WISE | Blighted Virtual Neighborhoods and Other Threats to Online Social Experiences. | Richard A. DeMillo |
| 1997 | COMPSAC | Failure and Fault Analysis for Software Debugging. | Richard A. DeMillo, Hsin Pan, Eugene H. Spafford |
| 1997 | EuroCrypt | On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract). | Dan Boneh, Richard A. DeMillo, Richard J. Lipton |
| 1996 | ISSTA | Critical Slicing for Software Fault Localization. | Richard A. DeMillo, Hsin Pan, Eugene H. Spafford |
| 1995 | ICDE | An International Masters in Software Engineering: Experience and Prospects. | Alberto Apostolico, Gianfranco Bilardi, Franco Bombi, Richard A. DeMillo |
| 1991 | COMPSAC | Compiler-integrated program mutation. | Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur |
| 1991 | ICSE | Progress Toward Automated Software Testing. | Richard A. DeMillo |
| 1991 | ISSTA | Dynamic Slicing in the Presence of Unconstrained Pointers. | Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford |
| 1989 | COMPSAC | Software testing for critical applications: a position paper. | Richard A. DeMillo |
| 1989 | ICSE | Test Adequacy and Program Mutation. | Richard A. DeMillo |
| 1982 | STOC | Cryptographic Protocols | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1981 | CRYPTO | The Design and Analysis of Cryptographic Protocols. | Richard A. DeMillo, Nancy A. Lynch, Michael Merritt |
| 1981 | ICDCS | Multilevel Secure Distributed System. | George I. Davida, Richard A. DeMillo, Richard J. Lipton |
| 1980 | POPL | Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs. | Timothy A. Budd, Richard A. DeMillo, Richard J. Lipton, Frederick G. Sayward |
| 1980 | STOC | The Consistency of "P = NP" and Related Problems with Fragments of Number Theory. | Richard A. DeMillo, Richard J. Lipton |
| 1980 | SP | Protecting Shared Cryptographic Keys. | George I. Davida, Richard A. DeMillo, Richard J. Lipton |
| 1980 | SP | A System Architecture to Support a Verifiably Secure Multilevel Security System. | George I. Davida, Richard A. DeMillo, Richard J. Lipton |
| 1979 | STOC | Some Connections between Mathematical Logic and Complexity Theory | Richard A. DeMillo, Richard J. Lipton |
| 1978 | COMPSAC | Recent progress in secure computation. | Richard A. DeMillo, David P. Dobkin |
| 1978 | VLDB | Database Security. | Richard A. DeMillo |
| 1977 | POPL | Social Processes and Proofs of Theorems and Programs. | Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis |
| 1975 | STOC | The Complexity of Control Structures and Data Structures | Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo |
| 1974 | STOC | Parallel Scheduling of Programs in a Restricted Model of Computation | K. Vairavan, Richard A. DeMillo |