| 2016 | ICALP | Provably Secure Virus Detection: Using The Observer Effect Against Malware. | Richard J. Lipton, Rafail Ostrovsky, Vassilis Zikas |
| 2016 | SCN | Provably-Secure Remote Memory Attestation for Heap Overflow Protection. | Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi |
| 2011 | ICDE | Representative skylines using threshold-based preference distributions. | Atish Das Sarma, Ashwin Lall, Danupon Nanongkai, Richard J. Lipton, Jun (Jim) Xu |
| 2011 | MFCS | Symmetric Functions Capture General Functions. | Richard J. Lipton, Kenneth W. Regan, Atri Rudra |
| 2011 | TAMC | Quantum Complexity: Some Recent Results, Some Open Problems, Some Thoughts. | Richard J. Lipton |
| 2010 | FAW | On Tractable Exponential Sums. | Jin-yi Cai, Xi Chen, Richard J. Lipton, Pinyan Lu |
| 2010 | MFCS | Improved Simulation of Nondeterministic Turing Machines. | Subrahmanyam Kalyanasundaram, Richard J. Lipton, Kenneth W. Regan, Farbod Shokrieh |
| 2009 | TAMC | Best-Order Streaming Model. | Atish Das Sarma, Richard J. Lipton, Danupon Nanongkai |
| 2007 | TCC | Intrusion-Resilient Key Exchange in the Bounded Retrieval Model. | David Cash, Yan Zong Ding, Yevgeniy Dodis, Wenke Lee, Richard J. Lipton, Shabsi Walfish |
| 2006 | GRC | Towards the integration of diverse spam filtering techniques. | Calton Pu, Steve Webb, Oleg M. Kolesnikov, Wenke Lee, Richard J. Lipton |
| 2006 | LATIN | Algorithms for Modular Counting of Roots of Multivariate Polynomials. | Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton |
| 2006 | TCC | Perfectly Secure Password Protocols in the Bounded Retrieval Model. | Giovanni Di Crescenzo, Richard J. Lipton, Shabsi Walfish |
| 2005 | FC | Protecting Secret Data from Insider Attacks. | David Dagon, Wenke Lee, Richard J. Lipton |
| 2004 | LATIN | Nash Equilibria via Polynomial Equations. | Richard J. Lipton, Evangelos Markakis |
| 2003 | FCT | Non-uniform Depth of Polynomial Time and Space Simulations. | Richard J. Lipton, Anastasios Viglas |
| 2003 | FOCS | Symmetric Polynomials over Z | Nayantara Bhatnagar, Parikshit Gopalan, Richard J. Lipton |
| 2003 | ICCCN | Mandatory human participation: a new authentication scheme for building secure systems. | Jun Xu, Richard J. Lipton, Irfan A. Essa, Minho Sung, Yong Zhu |
| 2003 | SODA | Deterministic identity testing for multivariate polynomials. | Richard J. Lipton, Nisheeth K. Vishnoi |
| 2002 | ISSTA | Gamma system: continuous evolution of software after deployment. | Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton |
| 2002 | SIGCOMM | On fundamental tradeoffs between delay bounds and computational complexity in packet scheduling algorithms. | Jun (Jim) Xu, Richard J. Lipton |
| 2001 | ISCC | Defense Against Man-in-the-Middle Attack in Client-Server Systems. | Dimitrios N. Serpanos, Richard J. Lipton |
| 2001 | SDM | Cheaper by the Dozen: Batched Algorithms. | Ben Gum, Richard J. Lipton |
| 1999 | FOCS | On the Complexity of SAT. | Richard J. Lipton, Anastasios Viglas |
| 1998 | FC | Micropayments via Efficient Coin-Flipping. | Richard J. Lipton, Rafail Ostrovsky |
| 1997 | EuroCrypt | On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract). | Dan Boneh, Richard A. DeMillo, Richard J. Lipton |
| 1997 | FOCS | On the Complexity of a Set-Union Problem. | Richard J. Lipton, Paul J. Martino, Andy Neitzke |
| 1997 | ICALP | DNA²DNA Computations: A Potential "Killer App"? | Laura F. Landweber, Richard J. Lipton |
| 1996 | CRYPTO | Algorithms for Black-Box Fields and their Application to Cryptography (Extended Abstract). | Dan Boneh, Richard J. Lipton |
| 1996 | ICCD | DNA computations can have global memory. | Richard J. Lipton |
| 1995 | CRYPTO | Quantum Cryptanalysis of Hidden Linear Functions (Extended Abstract). | Dan Boneh, Richard J. Lipton |
| 1995 | STACS | Communication Complexity of Key Agreement on Small Ranges. | Jin-yi Cai, Richard J. Lipton, Luc Longpr, Mitsunori Ogihara, Kenneth W. Regan, D. Sivakumar |
| 1994 | FOCS | The Complexity of the Membership Problem for 2-generated Commutative Semigroups of Rational Matrices | Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein |
| 1994 | SODA | Online Interval Scheduling. | Richard J. Lipton, Andrew Tomkins |
| 1994 | STOC | Simple strategies for large zero-sum games with applications to complexity theory. | Richard J. Lipton, Neal E. Young |
| 1994 | STACS | A New Approach To Information Theory. | Richard J. Lipton |
| 1993 | COLT | Amplification of Weak Learning under the Uniform Distribution. | Dan Boneh, Richard J. Lipton |
| 1993 | CRYPTO | Cryptographic Primitives Based on Hard Learning Problems. | Avrim Blum, Merrick L. Furst, Michael J. Kearns, Richard J. Lipton |
| 1992 | FOCS | Reconstructing Algebraic Functions from Mixed Data | Sigal Ar, Richard J. Lipton, Ronitt Rubinfeld, Madhu Sudan |
| 1992 | ICDE | Probabilistic Dignosis of Hot Spots. | Kenneth Salem, Daniel Barbar, Richard J. Lipton |
| 1991 | STOC | Self-Testing/Correcting for Polynomials and for Approximate Functions | Peter Gemmell, Richard J. Lipton, Ronitt Rubinfeld, Madhu Sudan, Avi Wigderson |
| 1990 | ICPP | Uniform-Cost Communication in Scalable Multiprocessors. | Richard J. Lipton, Dimitrios N. Serpanos |
| 1990 | PODS | Query Size Estimation by Adaptive Sampling. | Richard J. Lipton, Jeffrey F. Naughton |
| 1990 | SIGMOD | Practical Selectivity Estimation through Adaptive Sampling. | Richard J. Lipton, Jeffrey F. Naughton, Donovan A. Schneider |
| 1990 | STACS | Playing Games of Incomplete Information. | Jin-yi Cai, Anne Condon, Richard J. Lipton |
| 1990 | STACS | Efficient Checking of Computations. | Richard J. Lipton |
| 1989 | FOCS | Subquadratic Simulations of Circuits by Branching Programs | Jin-yi Cai, Richard J. Lipton |
| 1989 | FOCS | On the Complexity of Space Bounded Interactive Proofs (Extended Abstract) | Anne Condon, Richard J. Lipton |
| 1989 | ICDCS | A Randomized Technique for Remote File Comparison. | Daniel Barbar, Richard J. Lipton |
| 1989 | VLDB | Estimating the Size of Generalized Transitive Closures. | Richard J. Lipton, Jeffrey F. Naughton |
| 1986 | ICPP | Delta Transformations to Simplify VLSI Processor Arrays for Serial Dynamic Programming. | Richard J. Lipton, Daniel P. Lopresti |
| 1983 | DAC | Total stuct-at-fault testing by circuit transformation. | Andrea S. LaPaugh, Richard J. Lipton |
| 1983 | FCT | Pseudorandom Number Generation and Space Complexity. | Merrick L. Furst, Richard J. Lipton, Larry J. Stockmeyer |
| 1983 | ICALP | Lower Bounds for Constant Depth Circuits for Prefix Problems. | Ashok K. Chandra, Steven Fortune, Richard J. Lipton |
| 1983 | ITC | Total Fault Testing Using the Bipartite Transformation. | Andrea S. LaPaugh, Richard J. Lipton |
| 1983 | STOC | Unbounded Fan-in Circuits and Associative Functions | Ashok K. Chandra, Steven Fortune, Richard J. Lipton |
| 1983 | STOC | Multi-Party Protocols | Ashok K. Chandra, Merrick L. Furst, Richard J. Lipton |
| 1982 | DAC | Design automation algorithms: Research and applications. | Richard J. Lipton, J. Daniel Nash |
| 1982 | DAC | ALI: A procedural language to describe VLSI layouts. | Richard J. Lipton, Stephen C. North, Robert Sedgewick, Jacobo Valdes, Gopalakrishnan Vijayan |
| 1982 | POPL | Programming Aspects of VLSI. | Richard J. Lipton, Robert Sedgewick, Jacobo Valdes |
| 1981 | FOCS | Census Functions: an Approach to VLSI Upper Bounds (Preliminary Version) | Richard J. Lipton, Jacobo Valdes |
| 1981 | ICDCS | Multilevel Secure Distributed System. | George I. Davida, Richard A. DeMillo, Richard J. Lipton |
| 1981 | STOC | Lower Bounds for VLSI | Richard J. Lipton, Robert Sedgewick |
| 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 | STOC | The Orbit Problem is Decidable | Ravindran Kannan, Richard J. Lipton |
| 1980 | STOC | Some Connections between Nonuniform and Uniform Complexity Classes | Richard M. Karp, 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 | FOCS | Random Walks, Universal Traversal Sequences, and the Complexity of Maze Problems | Romas Aleliunas, Richard M. Karp, Richard J. Lipton, Lszl Lovsz, Charles Rackoff |
| 1979 | STOC | Some Connections between Mathematical Logic and Complexity Theory | Richard A. DeMillo, Richard J. Lipton |
| 1978 | FOCS | Alternating Pushdown Automata (Preliminary Report) | Richard E. Ladner, Richard J. Lipton, Larry J. Stockmeyer |
| 1978 | FOCS | Model Theoretic Aspects of Computational Complexity | Richard J. Lipton |
| 1977 | FOCS | A Necessary and Sufficient Condition for the Existence of Hoare Logics | Richard J. Lipton |
| 1977 | FOCS | Application of a Planar Separator Theorem | Richard J. Lipton, Robert Endre Tarjan |
| 1977 | POPL | Social Processes and Proofs of Theorems and Programs. | Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis |
| 1976 | FOCS | A Linear Time Algorithm for Deciding Security | Anita K. Jones, Richard J. Lipton, Lawrence Snyder |
| 1976 | MFCS | A Lower Bound of ½n² on Linear Search Programs for the Knapsack Problem. | David P. Dobkin, Richard J. Lipton |
| 1976 | STOC | Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report | E. Cardoza, Richard J. Lipton, Albert R. Meyer |
| 1976 | STOC | Evaluation of Polynomials with Super-Preconditioning | Richard J. Lipton, Larry J. Stockmeyer |
| 1975 | FOCS | Polynomials with 0-1 Coefficients that Are Hard to Evaluate | Richard J. Lipton |
| 1975 | FOCS | Synchronization and Computing Capabilities of Linear Asynchronous Structures | Richard J. Lipton, Raymond E. Miller, Lawrence Snyder |
| 1975 | POPL | Reduction: A New Method of Proving Properties of Systems of Processes. | Richard J. Lipton |
| 1975 | STOC | Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms | Richard J. Lipton, David P. Dobkin |
| 1975 | STOC | The Complexity of Control Structures and Data Structures | Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo |
| 1975 | SOSP | The Enforcement of Security Policies for Computation. | Anita K. Jones, Richard J. Lipton |
| 1974 | FOCS | A Comparative Study of Models of Parallel Computation | Richard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein |
| 1974 | STOC | On Some Generalizations of Binary Search | David P. Dobkin, Richard J. Lipton |
| 1974 | STOC | Limitations of Synchronization Primitives with Conditional Branching and Global Variables | Richard J. Lipton |