| 2003 | SAFECOMP | Software Tamper Resistance Using Program Certificates. | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
| 1999 | PDPTA | Run-time Result Certification for Distributed Computations. | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
| 1993 | ITC | Certification Trails and Software Design for Testability. | Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson |
| 1992 | COMPSAC | Experimental evaluation of certification trails using abstract data type validation. | Dwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson |
| 1991 | IJCAI | Learning Nested Concept Classes with Limited Storage. | David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan |
| 1990 | SRDS | A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems. | Douglas M. Blough, Gregory F. Sullivan |
| 1989 | SPAA | Locating Faults in a Constant Number of Parallel Testing Rounds. | Richard Beigel, S. Rao Kosaraju, Gregory F. Sullivan |
| 1988 | STOC | Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) | S. Rao Kosaraju, Gregory F. Sullivan |
| 1984 | FOCS | A Polynomial Time Algorithm for Fault Diagnosability | Gregory F. Sullivan |