| 2022 | CoNEXT | Causal network telemetry. | Yunhe Liu, Nate Foster, Fred B. Schneider |
| 2013 | PLDI | Programming languages in security: keynote. | Fred B. Schneider |
| 2011 | SIGCOMM | NetQuery: a knowledge plane for reasoning about network properties. | Alan Shieh, Emin Gn Sirer, Fred B. Schneider |
| 2011 | SOSP | Logical attestation: an authorization architecture for trustworthy computing. | Emin Gn Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider |
| 2010 | CoNEXT | NetQuery: a knowledge plane for reasoning about network properties. | Alan Shieh, Emin Gn Sirer, Fred B. Schneider |
| 2010 | ICSE | Beyond hacking: an SOS! | Fred B. Schneider |
| 2008 | ICDCN | The Building Blocks of Consensus. | Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev |
| 2008 | OSDI | Device Driver Safety Through a Reference Validation Mechanism. | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gn Sirer, Fred B. Schneider |
| 2007 | CONCUR | Mapping the Security Landscape: A Role for Language Techniques. | Fred B. Schneider |
| 2007 | ICALP | Credentials-Based Authorization: Evaluation and Implementation. | Fred B. Schneider |
| 2006 | PLDI | Certified In-lined Reference Monitoring on .NET. | Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider |
| 2005 | ICDCS | Distributed Blinding for Distributed ElGamal Re-Encryption. | Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz |
| 2005 | SOSP | Nexus: a new operating system for trustworthy computing. | Alan Shieh, Dan Williams, Emin Gn Sirer, Fred B. Schneider |
| 2004 | OSDI | Chain Replication for Supporting High Throughput and Availability. | Robbert van Renesse, Fred B. Schneider |
| 2001 | SAS | Language-Based Security: What's Needed and Why. | Fred B. Schneider |
| 2000 | SP | IRM Enforcement of Java Stack Inspection. | lfar Erlingsson, Fred B. Schneider |
| 2000 | SP | Open Source in Security: Visiting the Bizarre. | Fred B. Schneider |
| 1999 | ICDCS | NAP: Practical Fault-Tolerance for Itinerant Computations. | Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov |
| 1999 | NSPW | SASI enforcement of security policies: a retrospective. | lfar Erlingsson, Fred B. Schneider |
| 1995 | HotOS | Operating system support for mobile agents. | Dag Johansen, Robbert van Renesse, Fred B. Schneider |
| 1995 | SIGCSE | Teaching as a logic tool (abstract). | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |
| 1995 | SOSP | Hypervisor-based Fault-tolerance. | Thomas C. Bressoud, Fred B. Schneider |
| 1994 | ICALP | Reasoning about Programs by Exploiting the Environment. | Limor Fix, Fred B. Schneider |
| 1987 | LICS | Proving Boolean Combinations of Deterministic Properties | Bowen Alpern, Fred B. Schneider |
| 1987 | POPL | Completeness and Incompleteness of Trace-Based Network Proof Systems. | Jennifer Widom, David Gries, Fred B. Schneider |
| 1985 | PODC | Symmetry and Similarity in Distributed Systems. | Ralph E. Johnson, Fred B. Schneider |
| 1985 | PODC | Inexact Agreement: Accuracy, Precision, and Graceful Degradation. | Stephen R. Mahaney, Fred B. Schneider |
| 1985 | POPL | Constraints: A Uniform Approach to Aliasing and Typing. | Leslie Lamport, Fred B. Schneider |
| 1982 | PODC | Understanding and Using Asynchronous Message Passing (Preliminary Version). | Richard D. Schlichting, Fred B. Schneider |
| 1980 | SP | The Master Key Problem. | Dorothy E. Denning, Fred B. Schneider |