Fred B. Schneider

According to our database, Fred B. Schneider authored at least 145 papers between 1978 and 2022.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2022

Causal network telemetry.

Yunhe Liu, Nate Foster, Fred B. Schneider

Proceedings of the 5th International Workshop on P4 in Europe, 2022

Evoking Whitehead's Dictum.

Fred B. Schneider

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

Implementing insider defenses.

Eric Grosse, Fred B. Schneider, Lynette I. Millett

Commun. ACM, 2021

Verifying Hyperproperties With TLA.

Leslie Lamport, Fred B. Schneider

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

RIF: Reactive information flow labels.

Elisavet Kozyri, Fred B. Schneider

J. Comput. Secur., 2020

2019

Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy.

Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin

Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, 2019

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.

Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

JRIF: Reactive Information Flow Control for Java.

Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

History and Context for Defining Liveness: Winner 2018 Edsger W. Dijkstra Prize.

Fred B. Schneider

SIGACT News, 2018

Putting trust in security engineering.

Fred B. Schneider

Commun. ACM, 2018

Impediments with policy interventions to foster cybersecurity.

Fred B. Schneider

Commun. ACM, 2018

SGX Enforcement of Use-Based Privacy.

Eleanor Birrell, Anders T. Gjerdrum, Robbert van Renesse, Håvard D. Johansen, Dag Johansen, Fred B. Schneider

Proceedings of the 2018 Workshop on Privacy in the Electronic Society, 2018

2017

Technical Perspective: IronFleet simplifies proving safety and liveness properties.

Fred B. Schneider

Commun. ACM, 2017

2015

Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling.

Åge Kvalnes, Dag Johansen, Robbert van Renesse, Fred B. Schneider, Steffen Viken Valvåg

IEEE Trans. Parallel Distributed Syst., 2015

Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab.

Robbert van Renesse, Nicolas Schiper, Fred B. Schneider

IEEE Trans. Dependable Secur. Comput., 2015

Quantification of integrity.

Michael R. Clarkson, Fred B. Schneider

Math. Struct. Comput. Sci., 2015

Enforcing Privacy Policies with Meta-Code.

Håvard D. Johansen, Eleanor Birrell, Robbert van Renesse, Fred B. Schneider, Magnus Stenhaug, Dag Johansen

Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015

2014

When Not All Bits Are Equal: Worth-Based Information Flow.

Mário S. Alvim, Andre Scedrov, Fred B. Schneider

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2013

Cybersecurity Education in Universities.

Fred B. Schneider

IEEE Secur. Priv., 2013

Breaking-in Research.

Fred B. Schneider

IEEE Secur. Priv., 2013

Federated Identity Management Systems: A Privacy-Based Characterization.

Eleanor Birrell, Fred B. Schneider

IEEE Secur. Priv., 2013

Programming languages in security: keynote.

Fred B. Schneider

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Multi-Verifier Signatures.

Tom Roeder, Rafael Pass, Fred B. Schneider

J. Cryptol., 2012

2011

Nexus authorization logic (NAL): Design rationale and applications.

Fred B. Schneider, Kevin Walsh, Emin Gün Sirer

ACM Trans. Inf. Syst. Secur., 2011

A Doctrinal Thesis.

Fred B. Schneider, Deirdre K. Mulligan

IEEE Secur. Priv., 2011

Nerio: Leader Election and Edict Ordering

Robbert van Renesse, Fred B. Schneider, Johannes Gehrke

CoRR, 2011

Logical attestation: an authorization architecture for trustworthy computing.

Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Beyond Traces and Independence.

Fred B. Schneider

Proceedings of the Dependable and Historic Computing, 2011

2010

Proactive obfuscation.

Tom Roeder, Fred B. Schneider

ACM Trans. Comput. Syst., 2010

Independence from obfuscation: A semantic framework for diversity.

Riccardo Pucella, Fred B. Schneider

J. Comput. Secur., 2010

Hyperproperties.

Michael R. Clarkson, Fred B. Schneider

J. Comput. Secur., 2010

Fumbling the Future, Again.

Fred B. Schneider

IEEE Secur. Priv., 2010

Beyond hacking: an SOS!

Fred B. Schneider

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

NetQuery: a knowledge plane for reasoning about network properties.

Alan Shieh, Emin Gün Sirer, Fred B. Schneider

Proceedings of the ACM CoNEXT Student Workshop, 2010

2009

Quantifying information flow with beliefs.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

J. Comput. Secur., 2009

Labeling-in Security.

Fred B. Schneider

IEEE Secur. Priv., 2009

Accountability for Perfection.

Fred B. Schneider

IEEE Secur. Priv., 2009

IT Monoculture Security Risks and Defenses.

Jaynarayan H. Lala, Fred B. Schneider

IEEE Secur. Priv., 2009

The Monoculture Risk Put into Context.

Kenneth P. Birman, Fred B. Schneider

IEEE Secur. Priv., 2009

Viewpoint - Program committee overload in systems.

Ken Birman, Fred B. Schneider

Commun. ACM, 2009

2008

Network Neutrality versus Internet Trustworthiness?

Fred B. Schneider

IEEE Secur. Priv., 2008

Device Driver Safety Through a Reference Validation Mechanism.

Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

The Building Blocks of Consensus.

Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

2007

Technology Scapegoats and Policy Saviors.

Fred B. Schneider

IEEE Secur. Priv., 2007

Trusted Computing in Context.

Fred B. Schneider

IEEE Secur. Priv., 2007

Credentials-Based Authorization: Evaluation and Implementation.

Fred B. Schneider

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Mapping the Security Landscape: A Role for Language Techniques.

Fred B. Schneider

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Computability classes for enforcement mechanisms.

Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 2006

Here Be Dragons.

Fred B. Schneider

IEEE Secur. Priv., 2006

Certified In-lined Reference Monitoring on .NET.

Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

Independence From Obfuscation: A Semantic Framework for Dive.

Riccardo Pucella, Fred B. Schneider

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

APSS: proactive secret sharing in asynchronous systems.

Lidong Zhou, Fred B. Schneider, Robbert van Renesse

ACM Trans. Inf. Syst. Secur., 2005

Implementing Trustworthy Services Using Replicated State Machines.

Fred B. Schneider, Lidong Zhou

IEEE Secur. Priv., 2005

It Depends on What You Pay.

Fred B. Schneider

IEEE Secur. Priv., 2005

Overview of Cyber Security: A Crisis of Prioritization.

Susan Landau, Martin R. Stytz, Carl E. Landwehr, Fred B. Schneider

IEEE Secur. Priv., 2005

Automated Analysis of Fault-Tolerance in Distributed Systems.

Scott D. Stoller, Fred B. Schneider

Formal Methods Syst. Des., 2005

Distributed Blinding for Distributed ElGamal Re-Encryption.

Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Belief in Information Flow.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

CODEX: A Robust and Secure Secret Distribution System.

Michael A. Marsh, Fred B. Schneider

IEEE Trans. Dependable Secur. Comput., 2004

Time Out for Station Identification.

Fred B. Schneider

IEEE Secur. Priv., 2004

From the Editors: The Next Digital Divide.

Fred B. Schneider

IEEE Secur. Priv., 2004

Chain Replication for Supporting High Throughput and Availability.

Robbert van Renesse, Fred B. Schneider

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

Peer-to-Peer Authentication with a Distributed Single Sign-On Service.

William K. Josephson, Emin Gün Sirer, Fred B. Schneider

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003

Least Privilege and More.

Fred B. Schneider

IEEE Secur. Priv., 2003

Tolerating malicious gossip.

Yaron Minsky, Fred B. Schneider

Distributed Comput., 2003

WAIF: Web of Asynchronous Information Filters.

Dag Johansen, Robbert van Renesse, Fred B. Schneider

Proceedings of the Future Directions in Distributed Computing, 2003

2002

COCA: A secure distributed online certification authority.

Lidong Zhou, Fred B. Schneider, Robbert van Renesse

ACM Trans. Comput. Syst., 2002

A TACOMA retrospective.

Dag Johansen, Kåre J. Lauvset, Robbert van Renesse, Fred B. Schneider, Nils P. Sudmann, Kjetil Jacobsen

Softw. Pract. Exp., 2002

Secure systems conundrum.

Fred B. Schneider

Commun. ACM, 2002

Lifting Reference Monitors from the Kernel.

Fred B. Schneider

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001

Language-Based Security: What's Needed and Why.

Fred B. Schneider

Proceedings of the Static Analysis, 8th International Symposium, 2001

A Language-Based Approach to Security.

Fred B. Schneider, J. Gregory Morrisett, Robert Harper

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

2000

Enforceable security policies.

Fred B. Schneider

ACM Trans. Inf. Syst. Secur., 2000

Interview - Fred B. Schneider on Distributed Computing.

Dejan S. Milojicic, Fred B. Schneider

IEEE Distributed Syst. Online, 2000

Open Source in Security: Visiting the Bizarre.

Fred B. Schneider

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

IRM Enforcement of Java Stack Inspection.

Úlfar Erlingsson, Fred B. Schneider

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

1999

Building Trustworthy Systems: Lessons from the PTN and Internet.

Fred B. Schneider, Steven M. Bellovin, Alan S. Inouye

IEEE Internet Comput., 1999

Evolving Telephone Networks.

Fred B. Schneider, Steven M. Bellovin

Commun. ACM, 1999

SASI enforcement of security policies: a retrospective.

Úlfar Erlingsson, Fred B. Schneider

Proceedings of the 1999 Workshop on New Security Paradigms, 1999

NAP: Practical Fault-Tolerance for Itinerant Computations.

Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998

Adding the Everywhere Operator to Propositional Logic.

David Gries, Fred B. Schneider

J. Log. Comput., 1998

On Concurrent Programming [Book Review].

Fred B. Schneider, Reinhard Möller

IEEE Concurr., 1998

Toward Trustworthy Networked Information Systems.

Fred B. Schneider

Commun. ACM, 1998

On Concurrent Programming.

Fred B. Schneider

Commun. ACM, 1998

Automated Stream-Based Analysis of Fault-Tolerance.

Scott D. Stoller, Fred B. Schneider

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

On Concurrent Programming.

Fred B. Schneider

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4612-1830-2, 1997

Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996.

Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, H. Raymond Strong

Real Time Syst., 1997

Towards Fault-Tolerant and Secure Agentry.

Fred B. Schneider

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

Hypervisor-Based Fault Tolerance.

Thomas C. Bressoud, Fred B. Schneider

ACM Trans. Comput. Syst., 1996

Cryptographic support for fault-tolerant distributed computing.

Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Supporting broad internet access to TACOMA.

Dag Johansen, Robbert van Renesse, Fred B. Schneider

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Notes on proof outline logic.

Fred B. Schneider

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

On traditions in Marktoberdorf.

Fred B. Schneider

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

Verifying Programs That Use Causally-Ordered Message-Passing.

Scott D. Stoller, Fred B. Schneider

Sci. Comput. Program., 1995

Equational Propositional Logic.

David Gries, Fred B. Schneider

Inf. Process. Lett., 1995

Faster Possibility Detection by Combining Two Approaches.

Scott D. Stoller, Fred B. Schneider

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Teaching as a logic tool (abstract).

David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

Operating system support for mobile agents.

Dag Johansen, Robbert van Renesse, Fred B. Schneider

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

Avoiding the Undefined by Underspecification.

David Gries, Fred B. Schneider

Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994

Reasoning about Programs by Exploiting the Environment.

Limor Fix, Fred B. Schneider

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Hybrid Verification by Exploiting the Environment.

Limor Fix, Fred B. Schneider

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Teaching Logic as a Tool.

David Gries, Fred B. Schneider

Proceedings of the Software Engineering Education, 1994

1993

Proving Nondeterministically Specified Safety Properties Using Progress Measures

Nils Klarlund, Fred B. Schneider

Inf. Comput., November, 1993

A Formalization of Priority Inversion.

Özalp Babaoglu, Keith Marzullo, Fred B. Schneider

Real Time Syst., 1993

A Logical Approach to Discrete Math.

David Gries, Fred B. Schneider

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4757-3837-7, 1993

1992

Trace-Based Network Proof Systems: Expressiveness and Completeness.

Jennifer Widom, David Gries, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1992

Introduction.

Fred B. Schneider

Distributed Comput., 1992

Optimal Primary-Backup Protocols.

Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

1991

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider

Inf. Process. Lett., 1991

Putting Time into Proof Outlines.

Fred B. Schneider, Bard Bloom, Keith Marzullo

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial.

Fred B. Schneider

ACM Comput. Surv., 1990

1989

Verifying Temporal Properties without Temporal Logic.

Bowen Alpern, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1989

1988

On E. W. Dijkstra's position paper on "fairness: ".

Fred B. Schneider, Leslie Lamport

ACM SIGSOFT Softw. Eng. Notes, 1988

1987

Recognizing Safety and Liveness.

Bowen Alpern, Fred B. Schneider

Distributed Comput., 1987

Completeness and Incompleteness of Trace-Based Network Proof Systems.

Jennifer Widom, David Gries, Fred B. Schneider

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Proving Boolean Combinations of Deterministic Properties

Bowen Alpern, Fred B. Schneider

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Derivation of a Distributed Algorithm for Finding Paths in Directed Networks.

Robert McCurley, Fred B. Schneider

Sci. Comput. Program., 1986

Safety Without Stuttering.

Bowen Alpern, Alan J. Demers, Fred B. Schneider

Inf. Process. Lett., 1986

Abstractions for Fault Tolerance in Distributed Systems (Invited Paper).

Fred B. Schneider

Proceedings of the Information Processing 86, 1986

The State Machine Approach: A Tutorial.

Fred B. Schneider

Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

Concepts for Concurrent Programming.

Fred B. Schneider, Gregory R. Andrews

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985

Defining Liveness.

Bowen Alpern, Fred B. Schneider

Inf. Process. Lett., 1985

Thrifty Execution of Task Pipelines.

Fred B. Schneider, Richard Conway, Dale Skeen

Acta Informatica, 1985

Constraints: A Uniform Approach to Aliasing and Typing.

Leslie Lamport, Fred B. Schneider

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Inexact Agreement: Accuracy, Precision, and Graceful Degradation.

Stephen R. Mahaney, Fred B. Schneider

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

Symmetry and Similarity in Distributed Systems.

Ralph E. Johnson, Fred B. Schneider

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

1984

Using Message Passing for Distributed Programming: Proof Rules, Disciplines.

Richard D. Schlichting, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1984

The "Hoare Logic" of CSP, and All That.

Leslie Lamport, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1984

User Recovery and Reversal in Interactive Systems.

James E. Archer Jr., Richard Conway, Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1984

Byzantine Generals in Action: Implementing Fail-Stop Processors

Fred B. Schneider

ACM Trans. Comput. Syst., 1984

Fault-Tolerant Broadcasts.

Fred B. Schneider, David Gries, Richard D. Schlichting

Sci. Comput. Program., 1984

Paradigms for Distributed Programs.

Fred B. Schneider, Leslie Lamport

Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984

Formal Foundation for Specification and Verification.

Leslie Lamport, Fred B. Schneider

Proceedings of the Distributed Systems: Methods and Tools for Specification, 1984

1983

Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems

Richard D. Schlichting, Fred B. Schneider

ACM Trans. Comput. Syst., 1983

Key Exchange Using 'Keyless Cryptography'.

Bowen Alpern, Fred B. Schneider

Inf. Process. Lett., 1983

Concepts and Notations for Concurrent Programming.

Gregory R. Andrews, Fred B. Schneider

ACM Comput. Surv., 1983

1982

Synchronization in Distributed Programs.

Fred B. Schneider

ACM Trans. Program. Lang. Syst., 1982

Understanding and Using Asynchronous Message Passing (Preliminary Version).

Richard D. Schlichting, Fred B. Schneider

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

Master Keys for Group Sharing.

Dorothy E. Denning, Fred B. Schneider

Inf. Process. Lett., 1981

More on Master Keys for Group Sharing.

Dorothy E. Denning, Henk Meijer, Fred B. Schneider

Inf. Process. Lett., 1981

1980

The Master Key Problem.

Dorothy E. Denning, Fred B. Schneider

Proceedings of the 1980 IEEE Symposium on Security and Privacy, 1980

Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores.

Fred B. Schneider

Proceedings of the International Symposium on Distributed Data Bases, 1980

1978

Conditions for the Equivalence of Synchronous and Asynchronous Systems.

Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz

IEEE Trans. Software Eng., 1978

Scheduling in Concurrent Pascal.

Fred B. Schneider, Arthur J. Bernstein

ACM SIGOPS Oper. Syst. Rev., 1978

On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems.

Arthur J. Bernstein, Fred B. Schneider

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978