Fred B. Schneider

160 papers A* 16A 9B 2C 1Misc 2Journal 85Unranked 39
YearRankTypeTitle / Venue / Authors
2025 A conf
Accountability, Involvement, and Mediation for Information Flow.
CSF
Elisavet Kozyri, Fred B. Schneider, Stephen Chong
2025 J jnl
Software Bill of Materials as a Proactive Defense.
IEEE Secur. Priv.
Hamed Okhravi, Nathan Burow, Fred B. Schneider
2024 — conf
Composable Mission-Critical Embedded System Architecture for High Assurance.
HPEC
Michael Vai, Eric Simpson, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Ben Nahill, Jeffery Lim, Roger Khazan, Sean R. O'Melia, Fred B. Schneider
2023 — conf
Security-as-a-Service for Embedded Systems.
MILCOM
Michael Vai, Eric Simpson, Donato Kava, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Gabriel Torres, Jeffery Lim, Ben Nahill, Roger Khazan, Fred B. Schneider
2023 — conf
Zero Trust Architecture Approach for Developing Mission Critical Embedded Systems.
HPEC
Michael Vai, David Whelihan, Eric Simpson, Donato Kava, Alice Lee, Huy Nguyen, Jeffrey J. Hughes, Gabriel Torres, Jeffery Lim, Ben Nahill, Roger Khazan, Fred B. Schneider
2022 — conf
Causal network telemetry.
EuroP4@CoNEXT
Yunhe Liu, Nate Foster, Fred B. Schneider
2022 — ch.
Evoking Whitehead's Dictum.
Edsger Wybe Dijkstra
Fred B. Schneider
2021 J jnl
A Research Ecosystem for Secure Computing.
CoRR
Nadya Bliss, Lawrence A. Gordon, Daniel Lopresti, Fred B. Schneider, Suresh Venkatasubramanian
2021 J jnl
Implementing insider defenses.
Commun. ACM
Eric Grosse, Fred B. Schneider, Lynette I. Millett
2021 A conf
Verifying Hyperproperties With TLA.
CSF
Leslie Lamport, Fred B. Schneider
2020 J jnl
RIF: Reactive information flow labels.
J. Comput. Secur.
Elisavet Kozyri, Fred B. Schneider
2019 — conf
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy.
WPES@CCS
Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin
2019 A conf
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.
CSF
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
2019 — conf
JRIF: Reactive Information Flow Control for Java.
Foundations of Security, Protocols, and Equational Reasoning
Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider
2018 J jnl
History and Context for Defining Liveness: Winner 2018 Edsger W. Dijkstra Prize.
SIGACT News
Fred B. Schneider
2018 J jnl
Impediments with policy interventions to foster cybersecurity.
Commun. ACM
Fred B. Schneider
2018 J jnl
Putting trust in security engineering.
Commun. ACM
Fred B. Schneider
2018 — conf
SGX Enforcement of Use-Based Privacy.
WPES@CCS
Eleanor Birrell, Anders T. Gjerdrum, Robbert van Renesse, Håvard D. Johansen, Dag Johansen, Fred B. Schneider
2017 J jnl
Technical Perspective: IronFleet simplifies proving safety and liveness properties.
Commun. ACM
Fred B. Schneider
2015 — conf
Enforcing Privacy Policies with Meta-Code.
APSys
Håvard D. Johansen, Eleanor Birrell, Robbert van Renesse, Fred B. Schneider, Magnus Stenhaug, Dag Johansen
2015 J jnl
Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling.
IEEE Trans. Parallel Distributed Syst.
Åge Kvalnes, Dag Johansen, Robbert van Renesse, Fred B. Schneider, Steffen Viken Valvåg
2015 J jnl
Quantification of integrity.
Math. Struct. Comput. Sci.
Michael R. Clarkson, Fred B. Schneider
2015 J jnl
Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab.
IEEE Trans. Dependable Secur. Comput.
Robbert van Renesse, Nicolas Schiper, Fred B. Schneider
2014 — conf
When Not All Bits Are Equal: Worth-Based Information Flow.
POST
Mário S. Alvim, Andre Scedrov, Fred B. Schneider
2013 J jnl
Breaking-in Research.
IEEE Secur. Priv.
Fred B. Schneider
2013 J jnl
Cybersecurity Education in Universities.
IEEE Secur. Priv.
Fred B. Schneider
2013 J jnl
Federated Identity Management Systems: A Privacy-Based Characterization.
IEEE Secur. Priv.
Eleanor Birrell, Fred B. Schneider
2013 A* conf
Programming languages in security: keynote.
PLDI
Fred B. Schneider
2013 J jnl
Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab.
CoRR
Robbert van Renesse, Nicolas Schiper, Fred B. Schneider
2012 J jnl
Multi-Verifier Signatures.
J. Cryptol.
Tom Roeder, Rafael Pass, Fred B. Schneider
2011 J jnl
A Doctrinal Thesis.
IEEE Secur. Priv.
Fred B. Schneider, Deirdre K. Mulligan
2011 — conf
Beyond Traces and Independence.
Dependable and Historic Computing
Fred B. Schneider
2011 A* conf
Logical attestation: an authorization architecture for trustworthy computing.
SOSP
Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider
2011 J jnl
Nerio: Leader Election and Edict Ordering
CoRR
Robbert van Renesse, Fred B. Schneider, Johannes Gehrke
2011 A* conf
NetQuery: a knowledge plane for reasoning about network properties.
SIGCOMM
Alan Shieh, Emin Gün Sirer, Fred B. Schneider
2011 J jnl
Nexus authorization logic (NAL): Design rationale and applications.
ACM Trans. Inf. Syst. Secur.
Fred B. Schneider, Kevin Walsh, Emin Gün Sirer
2010 — conf
Beyond hacking: an SOS!
ICSE (1)
Fred B. Schneider
2010 J jnl
Fumbling the Future, Again.
IEEE Secur. Priv.
Fred B. Schneider
2010 J jnl
Hyperproperties.
J. Comput. Secur.
Michael R. Clarkson, Fred B. Schneider
2010 — conf
Implementing Trustworthy Services Using Replicated State Machines.
Replication
Fred B. Schneider, Lidong Zhou
2010 J jnl
Independence from obfuscation: A semantic framework for diversity.
J. Comput. Secur.
Riccardo Pucella, Fred B. Schneider
2010 — conf
NetQuery: a knowledge plane for reasoning about network properties.
StudentWorkshop@CoNEXT
Alan Shieh, Emin Gün Sirer, Fred B. Schneider
2010 J jnl
Proactive obfuscation.
ACM Trans. Comput. Syst.
Tom Roeder, Fred B. Schneider
2010 A conf
Quantification of Integrity.
CSF
Michael R. Clarkson, Fred B. Schneider
2009 J jnl
Accountability for Perfection.
IEEE Secur. Priv.
Fred B. Schneider
2009 J jnl
IT Monoculture Security Risks and Defenses.
IEEE Secur. Priv.
Jaynarayan H. Lala, Fred B. Schneider
2009 J jnl
Labeling-in Security.
IEEE Secur. Priv.
Fred B. Schneider
2009 J jnl
Quantifying information flow with beliefs.
J. Comput. Secur.
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
2009 J jnl
The Monoculture Risk Put into Context.
IEEE Secur. Priv.
Kenneth P. Birman, Fred B. Schneider
2009 J jnl
Viewpoint - Program committee overload in systems.
Commun. ACM
Ken Birman, Fred B. Schneider
2008 A* conf
Device Driver Safety Through a Reference Validation Mechanism.
OSDI
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
2008 A conf
Hyperproperties.
CSF
Michael R. Clarkson, Fred B. Schneider
2008 J jnl
Network Neutrality versus Internet Trustworthiness?
IEEE Secur. Priv.
Fred B. Schneider
2008 Misc conf
The Building Blocks of Consensus.
ICDCN
Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev
2007 A* conf
Credentials-Based Authorization: Evaluation and Implementation.
ICALP
Fred B. Schneider
2007 B conf
Mapping the Security Landscape: A Role for Language Techniques.
CONCUR
Fred B. Schneider
2007 J jnl
Technology Scapegoats and Policy Saviors.
IEEE Secur. Priv.
Fred B. Schneider
2007 J jnl
Trusted Computing in Context.
IEEE Secur. Priv.
Fred B. Schneider
2006 — conf
Certified In-lined Reference Monitoring on .NET.
PLAS
Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider
2006 J jnl
Computability classes for enforcement mechanisms.
ACM Trans. Program. Lang. Syst.
Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider
2006 J jnl
Here Be Dragons.
IEEE Secur. Priv.
Fred B. Schneider
2006 — conf
Independence From Obfuscation: A Semantic Framework for Dive.
CSFW
Riccardo Pucella, Fred B. Schneider
2005 J jnl
APSS: proactive secret sharing in asynchronous systems.
ACM Trans. Inf. Syst. Secur.
Lidong Zhou, Fred B. Schneider, Robbert van Renesse
2005 J jnl
Automated Analysis of Fault-Tolerance in Distributed Systems.
Formal Methods Syst. Des.
Scott D. Stoller, Fred B. Schneider
2005 — conf
Belief in Information Flow.
CSFW
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider
2005 A conf
Distributed Blinding for Distributed ElGamal Re-Encryption.
ICDCS
Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz
2005 J jnl
Implementing Trustworthy Services Using Replicated State Machines.
IEEE Secur. Priv.
Fred B. Schneider, Lidong Zhou
2005 J jnl
It Depends on What You Pay.
IEEE Secur. Priv.
Fred B. Schneider
2005 A* conf
Nexus: a new operating system for trustworthy computing.
SOSP
Alan Shieh, Dan Williams, Emin Gün Sirer, Fred B. Schneider
2005 J jnl
Overview of Cyber Security: A Crisis of Prioritization.
IEEE Secur. Priv.
Susan Landau, Martin R. Stytz, Carl E. Landwehr, Fred B. Schneider
2004 J jnl
CODEX: A Robust and Secure Secret Distribution System.
IEEE Trans. Dependable Secur. Comput.
Michael A. Marsh, Fred B. Schneider
2004 A* conf
Chain Replication for Supporting High Throughput and Availability.
OSDI
Robbert van Renesse, Fred B. Schneider
2004 J jnl
From the Editors: The Next Digital Divide.
IEEE Secur. Priv.
Fred B. Schneider
2004 — conf
Peer-to-Peer Authentication with a Distributed Single Sign-On Service.
IPTPS
William K. Josephson, Emin Gün Sirer, Fred B. Schneider
2004 J jnl
Time Out for Station Identification.
IEEE Secur. Priv.
Fred B. Schneider
2003 J jnl
Least Privilege and More.
IEEE Secur. Priv.
Fred B. Schneider
2003 J jnl
Tolerating malicious gossip.
Distributed Comput.
Yaron Minsky, Fred B. Schneider
2003 — conf
WAIF: Web of Asynchronous Information Filters.
Future Directions in Distributed Computing
Dag Johansen, Robbert van Renesse, Fred B. Schneider
2002 J jnl
A TACOMA retrospective.
Softw. Pract. Exp.
Dag Johansen, Kåre J. Lauvset, Robbert van Renesse, Fred B. Schneider, Nils P. Sudmann, Kjetil Jacobsen
2002 J jnl
COCA: A secure distributed online certification authority.
ACM Trans. Comput. Syst.
Lidong Zhou, Fred B. Schneider, Robbert van Renesse
2002 — conf
Lifting Reference Monitors from the Kernel.
FASec
Fred B. Schneider
2002 J jnl
Secure systems conundrum.
Commun. ACM
Fred B. Schneider
2001 Misc conf
A Language-Based Approach to Security.
Informatics
Fred B. Schneider, J. Gregory Morrisett, Robert Harper
2001 B conf
Language-Based Security: What's Needed and Why.
SAS
Fred B. Schneider
2000 J jnl
Enforceable security policies.
ACM Trans. Inf. Syst. Secur.
Fred B. Schneider
2000 — conf
IRM Enforcement of Java Stack Inspection.
S&P
Úlfar Erlingsson, Fred B. Schneider
2000 J jnl
Interview - Fred B. Schneider on Distributed Computing.
IEEE Distributed Syst. Online
Dejan S. Milojicic, Fred B. Schneider
2000 — conf
Open Source in Security: Visiting the Bizarre.
S&P
Fred B. Schneider
1999 J jnl
Building Trustworthy Systems: Lessons from the PTN and Internet.
IEEE Internet Comput.
Fred B. Schneider, Steven M. Bellovin, Alan S. Inouye
1999 J jnl
Evolving Telephone Networks.
Commun. ACM
Fred B. Schneider, Steven M. Bellovin
1999 A conf
NAP: Practical Fault-Tolerance for Itinerant Computations.
ICDCS
Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov
1999 C conf
SASI enforcement of security policies: a retrospective.
NSPW
Úlfar Erlingsson, Fred B. Schneider
1998 J jnl
Adding the Everywhere Operator to Propositional Logic.
J. Log. Comput.
David Gries, Fred B. Schneider
1998 — conf
Automated Stream-Based Analysis of Fault-Tolerance.
FTRTFT
Scott D. Stoller, Fred B. Schneider
1998 J jnl
On Concurrent Programming [Book Review].
IEEE Concurr.
Fred B. Schneider, Reinhard Möller
1998 J jnl
On Concurrent Programming.
Commun. ACM
Fred B. Schneider
1998 J jnl
Toward Trustworthy Networked Information Systems.
Commun. ACM
Fred B. Schneider
1997 — book
On Concurrent Programming.
Fred B. Schneider
1997 J jnl
Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996.
Real Time Syst.
Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, H. Raymond Strong
1997 — conf
Towards Fault-Tolerant and Secure Agentry.
WDAG
Fred B. Schneider
1996 — conf
Cryptographic support for fault-tolerant distributed computing.
ACM SIGOPS European Workshop
Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller
1996 J jnl
Hypervisor-Based Fault Tolerance.
ACM Trans. Comput. Syst.
Thomas C. Bressoud, Fred B. Schneider
1996 — conf
Notes on proof outline logic.
NATO ASI DPD
Fred B. Schneider
1996 — conf
On traditions in Marktoberdorf.
NATO ASI DPD
Fred B. Schneider
1996 — conf
Supporting broad internet access to TACOMA.
ACM SIGOPS European Workshop
Dag Johansen, Robbert van Renesse, Fred B. Schneider
1995 — ch.
Avoiding the Undefined by Underspecification.
Computer Science Today
David Gries, Fred B. Schneider
1995 J jnl
Equational Propositional Logic.
Inf. Process. Lett.
David Gries, Fred B. Schneider
1995 — conf
Faster Possibility Detection by Combining Two Approaches.
WDAG
Scott D. Stoller, Fred B. Schneider
1995 A* conf
Hypervisor-based Fault-tolerance.
SOSP
Thomas C. Bressoud, Fred B. Schneider
1995 A conf
Operating system support for mobile agents.
HotOS
Dag Johansen, Robbert van Renesse, Fred B. Schneider
1995 A conf
Teaching as a logic tool (abstract).
SIGCSE
David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
1995 J jnl
Verifying Programs That Use Causally-Ordered Message-Passing.
Sci. Comput. Program.
Scott D. Stoller, Fred B. Schneider
1994 — conf
Hybrid Verification by Exploiting the Environment.
FTRTFT
Limor Fix, Fred B. Schneider
1994 A* conf
Reasoning about Programs by Exploiting the Environment.
ICALP
Limor Fix, Fred B. Schneider
1994 — conf
Teaching Logic as a Tool.
CSEE
David Gries, Fred B. Schneider
1993 J jnl
A Formalization of Priority Inversion.
Real Time Syst.
Özalp Babaoglu, Keith Marzullo, Fred B. Schneider
1993 — book
A Logical Approach to Discrete Math.
David Gries, Fred B. Schneider
1993 J jnl
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Inf. Comput.
Nils Klarlund, Fred B. Schneider
1992 J jnl
Introduction.
Distributed Comput.
Fred B. Schneider
1992 — conf
Optimal Primary-Backup Protocols.
WDAG
Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg
1992 J jnl
Trace-Based Network Proof Systems: Expressiveness and Completeness.
ACM Trans. Program. Lang. Syst.
Jennifer Widom, David Gries, Fred B. Schneider
1991 J jnl
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".
Inf. Process. Lett.
Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider
1991 — conf
Putting Time into Proof Outlines.
REX Workshop
Fred B. Schneider, Bard Bloom, Keith Marzullo
1990 J jnl
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial.
ACM Comput. Surv.
Fred B. Schneider
1989 J jnl
Verifying Temporal Properties without Temporal Logic.
ACM Trans. Program. Lang. Syst.
Bowen Alpern, Fred B. Schneider
1988 J jnl
On E. W. Dijkstra's position paper on "fairness: ".
ACM SIGSOFT Softw. Eng. Notes
Fred B. Schneider, Leslie Lamport
1987 A* conf
Completeness and Incompleteness of Trace-Based Network Proof Systems.
POPL
Jennifer Widom, David Gries, Fred B. Schneider
1987 A* ed.
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987
PODC
Fred B. Schneider
1987 A* conf
Proving Boolean Combinations of Deterministic Properties
LICS
Bowen Alpern, Fred B. Schneider
1987 J jnl
Recognizing Safety and Liveness.
Distributed Comput.
Bowen Alpern, Fred B. Schneider
1986 — conf
Abstractions for Fault Tolerance in Distributed Systems (Invited Paper).
IFIP Congress
Fred B. Schneider
1986 — ch.
Concepts for Concurrent Programming.
Current Trends in Concurrency
Fred B. Schneider, Gregory R. Andrews
1986 J jnl
Derivation of a Distributed Algorithm for Finding Paths in Directed Networks.
Sci. Comput. Program.
Robert McCurley, Fred B. Schneider
1986 J jnl
Safety Without Stuttering.
Inf. Process. Lett.
Bowen Alpern, Alan J. Demers, Fred B. Schneider
1986 — conf
The State Machine Approach: A Tutorial.
Fault-Tolerant Distributed Computing
Fred B. Schneider
1985 A* conf
Constraints: A Uniform Approach to Aliasing and Typing.
POPL
Leslie Lamport, Fred B. Schneider
1985 J jnl
Defining Liveness.
Inf. Process. Lett.
Bowen Alpern, Fred B. Schneider
1985 — ed.
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany
Advanced Course: Distributed Systems
Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider
1985 A* conf
Inexact Agreement: Accuracy, Precision, and Graceful Degradation.
PODC
Stephen R. Mahaney, Fred B. Schneider
1985 A* conf
Symmetry and Similarity in Distributed Systems.
PODC
Ralph E. Johnson, Fred B. Schneider
1985 J jnl
Thrifty Execution of Task Pipelines.
Acta Informatica
Fred B. Schneider, Richard Conway, Dale Skeen
1984 J jnl
Byzantine Generals in Action: Implementing Fail-Stop Processors
ACM Trans. Comput. Syst.
Fred B. Schneider
1984 J jnl
Fault-Tolerant Broadcasts.
Sci. Comput. Program.
Fred B. Schneider, David Gries, Richard D. Schlichting
1984 — conf
Formal Foundation for Specification and Verification.
Advanced Course: Distributed Systems
Leslie Lamport, Fred B. Schneider
1984 — conf
Paradigms for Distributed Programs.
Advanced Course: Distributed Systems
Fred B. Schneider, Leslie Lamport
1984 J jnl
The "Hoare Logic" of CSP, and All That.
ACM Trans. Program. Lang. Syst.
Leslie Lamport, Fred B. Schneider
1984 J jnl
User Recovery and Reversal in Interactive Systems.
ACM Trans. Program. Lang. Syst.
James E. Archer Jr., Richard Conway, Fred B. Schneider
1984 J jnl
Using Message Passing for Distributed Programming: Proof Rules, Disciplines.
ACM Trans. Program. Lang. Syst.
Richard D. Schlichting, Fred B. Schneider
1983 J jnl
Concepts and Notations for Concurrent Programming.
ACM Comput. Surv.
Gregory R. Andrews, Fred B. Schneider
1983 J jnl
Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems
ACM Trans. Comput. Syst.
Richard D. Schlichting, Fred B. Schneider
1983 J jnl
Key Exchange Using 'Keyless Cryptography'.
Inf. Process. Lett.
Bowen Alpern, Fred B. Schneider
1982 J jnl
Synchronization in Distributed Programs.
ACM Trans. Program. Lang. Syst.
Fred B. Schneider
1982 A* conf
Understanding and Using Asynchronous Message Passing (Preliminary Version).
PODC
Richard D. Schlichting, Fred B. Schneider
1981 J jnl
Master Keys for Group Sharing.
Inf. Process. Lett.
Dorothy E. Denning, Fred B. Schneider
1981 J jnl
More on Master Keys for Group Sharing.
Inf. Process. Lett.
Dorothy E. Denning, Henk Meijer, Fred B. Schneider
1980 — conf
Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores.
DDB
Fred B. Schneider
1980 — conf
The Master Key Problem.
S&P
Dorothy E. Denning, Fred B. Schneider
1978 J jnl
Conditions for the Equivalence of Synchronous and Asynchronous Systems.
IEEE Trans. Software Eng.
Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz
1978 — conf
On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems.
Jerusalem Conference on Information Technology
Arthur J. Bernstein, Fred B. Schneider
1978 J jnl
Scheduling in Concurrent Pascal.
ACM SIGOPS Oper. Syst. Rev.
Fred B. Schneider, Arthur J. Bernstein