Fred B. Schneider

Fred B. Schneider: Breaking-in Research. IEEE Security & Privacy 11(2): 3-4 (2013)

Tom Roeder, Rafael Pass, Fred B. Schneider: Multi-Verifier Signatures. J. Cryptology 25(2): 310-348 (2012)

Fred B. Schneider, Deirdre K. Mulligan: A Doctrinal Thesis. IEEE Security & Privacy 9(4): 3-4 (2011)

Fred B. Schneider, Kevin Walsh, Emin Gün Sirer: Nexus authorization logic (NAL): Design rationale and applications. ACM Trans. Inf. Syst. Secur. 14(1): 8 (2011)

Fred B. Schneider: Beyond Traces and Independence. Dependable and Historic Computing 2011: 479-485

Alan Shieh, Emin Gün Sirer, Fred B. Schneider: NetQuery: a knowledge plane for reasoning about network properties. SIGCOMM 2011: 278-289

Emin Gün Sirer, Willem de Bruijn, Patrick Reynolds, Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider: Logical attestation: an authorization architecture for trustworthy computing. SOSP 2011: 249-264

Robbert van Renesse, Fred B. Schneider, Johannes Gehrke: Nerio: Leader Election and Edict Ordering. CoRR abs/1109.5111 (2011)

Fred B. Schneider: Fumbling the Future, Again. IEEE Security & Privacy 8(4): 3 (2010)

Riccardo Pucella, Fred B. Schneider: Independence from obfuscation: A semantic framework for diversity. Journal of Computer Security 18(5): 701-749 (2010)

Michael R. Clarkson, Fred B. Schneider: Hyperproperties. Journal of Computer Security 18(6): 1157-1210 (2010)

Tom Roeder, Fred B. Schneider: Proactive obfuscation. ACM Trans. Comput. Syst. 28(2) (2010)

Michael R. Clarkson, Fred B. Schneider: Quantification of Integrity. CSF 2010: 28-43

Fred B. Schneider: Beyond hacking: an SOS! ICSE (1) 2010: 2

Fred B. Schneider, Lidong Zhou: Implementing Trustworthy Services Using Replicated State Machines. Replication 2010: 151-167

Ken Birman, Fred B. Schneider: Viewpoint - Program committee overload in systems. Commun. ACM 52(5): 34-37 (2009)

Jaynarayan H. Lala, Fred B. Schneider: IT Monoculture Security Risks and Defenses. IEEE Security & Privacy 7(1): 12-13 (2009)

Kenneth P. Birman, Fred B. Schneider: The Monoculture Risk Put into Context. IEEE Security & Privacy 7(1): 14-17 (2009)

Fred B. Schneider: Accountability for Perfection. IEEE Security & Privacy 7(2): 3-4 (2009)

Fred B. Schneider: Labeling-in Security. IEEE Security & Privacy 7(6): 3 (2009)

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Quantifying information flow with beliefs. Journal of Computer Security 17(5): 655-701 (2009)

Fred B. Schneider: Network Neutrality versus Internet Trustworthiness? IEEE Security & Privacy 6(4): 3-4 (2008)

Michael R. Clarkson, Fred B. Schneider: Hyperproperties. CSF 2008: 51-65

Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev: The Building Blocks of Consensus. ICDCN 2008: 54-72

Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider: Device Driver Safety Through a Reference Validation Mechanism. OSDI 2008: 241-254

Fred B. Schneider: Trusted Computing in Context. IEEE Security & Privacy 5(2): 4-5 (2007)

Fred B. Schneider: Technology Scapegoats and Policy Saviors. IEEE Security & Privacy 5(5): 3-4 (2007)

Fred B. Schneider: Mapping the Security Landscape: A Role for Language Techniques. CONCUR 2007: 1

Fred B. Schneider: Credentials-Based Authorization: Evaluation and Implementation. ICALP 2007: 12-14

Fred B. Schneider: Here Be Dragons. IEEE Security & Privacy 4(3): 3 (2006)

Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1): 175-205 (2006)

Riccardo Pucella, Fred B. Schneider: Independence From Obfuscation: A Semantic Framework for Dive. CSFW 2006: 230-241

Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider: Certified In-lined Reference Monitoring on .NET. PLAS 2006: 7-16

Scott D. Stoller, Fred B. Schneider: Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods in System Design 26(2): 183-196 (2005)

Fred B. Schneider: It Depends on What You Pay. IEEE Security & Privacy 3(3): 3 (2005)

Susan Landau, Martin R. Stytz, Carl E. Landwehr, Fred B. Schneider: Overview of Cyber Security: A Crisis of Prioritization. IEEE Security & Privacy 3(3): 9-11 (2005)

Fred B. Schneider, Lidong Zhou: Implementing Trustworthy Services Using Replicated State Machines. IEEE Security & Privacy 3(5): 34-43 (2005)

Lidong Zhou, Fred B. Schneider, Robbert van Renesse: APSS: proactive secret sharing in asynchronous systems. ACM Trans. Inf. Syst. Secur. 8(3): 259-286 (2005)

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider: Belief in Information Flow. CSFW 2005: 31-45

Lidong Zhou, Michael A. Marsh, Fred B. Schneider, Anna Redz: Distributed Blinding for Distributed ElGamal Re-Encryption. ICDCS 2005: 815-824

Fred B. Schneider: From the Editors: The Next Digital Divide. IEEE Security & Privacy 2(1): 5 (2004)

Fred B. Schneider: Time Out for Station Identification. IEEE Security & Privacy 2(5): 5 (2004)

Michael A. Marsh, Fred B. Schneider: CODEX: A Robust and Secure Secret Distribution System. IEEE Trans. Dependable Sec. Comput. 1(1): 34-47 (2004)

William K. Josephson, Emin Gün Sirer, Fred B. Schneider: Peer-to-Peer Authentication with a Distributed Single Sign-On Service. IPTPS 2004: 250-258

Robbert van Renesse, Fred B. Schneider: Chain Replication for Supporting High Throughput and Availability. OSDI 2004: 91-104

Yaron Minsky, Fred B. Schneider: Tolerating malicious gossip. Distributed Computing 16(1): 49-68 (2003)

Fred B. Schneider: Least Privilege and More. IEEE Security & Privacy 1(5): 55-59 (2003)

Dag Johansen, Robbert van Renesse, Fred B. Schneider: WAIF: Web of Asynchronous Information Filters. Future Directions in Distributed Computing 2003: 81-86

Fred B. Schneider: Secure systems conundrum. Commun. ACM 45(10): 160 (2002)

Dag Johansen, Kåre J. Lauvset, Robbert van Renesse, Fred B. Schneider, Nils P. Sudmann, Kjetil Jacobsen: A TACOMA retrospective. Softw., Pract. Exper. 32(6): 605-619 (2002)

Lidong Zhou, Fred B. Schneider, Robbert van Renesse: COCA: A secure distributed online certification authority. ACM Trans. Comput. Syst. 20(4): 329-368 (2002)

Fred B. Schneider: Lifting Reference Monitors from the Kernel. FASec 2002: 1-2

Fred B. Schneider, J. Gregory Morrisett, Robert Harper: A Language-Based Approach to Security. Informatics 2001: 86-101

Fred B. Schneider: Language-Based Security: What's Needed and Why. SAS 2001: 374

Dejan S. Milojicic, Fred B. Schneider: Interview - Fred B. Schneider on Distributed Computing. IEEE Distributed Systems Online 1(1) (2000)

Fred B. Schneider: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1): 30-50 (2000)

Fred B. Schneider: Open Source in Security: Visiting the Bizarre. IEEE Symposium on Security and Privacy 2000: 126-127

Úlfar Erlingsson, Fred B. Schneider: IRM Enforcement of Java Stack Inspection. IEEE Symposium on Security and Privacy 2000: 246-255

Fred B. Schneider, Steven M. Bellovin: Evolving Telephone Networks. Commun. ACM 42(1): 160 (1999)

Fred B. Schneider, Steven M. Bellovin, Alan S. Inouye: Building Trustworthy Systems: Lessons from the PTN and Internet. IEEE Internet Computing 3(6): 64-72 (1999)

Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov: NAP: Practical Fault-Tolerance for Itinerant Computations. ICDCS 1999: 180-189

Úlfar Erlingsson, Fred B. Schneider: SASI enforcement of security policies: a retrospective. NSPW 1999: 87-95

Fred B. Schneider: On Concurrent Programming. Commun. ACM 41(4): 128 (1998)

Fred B. Schneider: Toward Trustworthy Networked Information Systems. Commun. ACM 41(11): 144 (1998)

Fred B. Schneider, R. Moller: On Concurrent Programming [Book Review]. IEEE Concurrency 6(1): 85-86 (1998)

David Gries, Fred B. Schneider: Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. 8(1): 119-129 (1998)

Scott D. Stoller, Fred B. Schneider: Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT 1998: 113-122

Danny Dolev, Rüdiger Reischuk, Fred B. Schneider, H. Raymond Strong: Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996. Real-Time Systems 12(3): 329-345 (1997)

Fred B. Schneider: Towards Fault-Tolerant and Secure Agentry. WDAG 1997: 1-14

Thomas C. Bressoud, Fred B. Schneider: Hypervisor-Based Fault Tolerance. ACM Trans. Comput. Syst. 14(1): 80-107 (1996)

Fred B. Schneider: On traditions in Marktoberdorf. NATO ASI DPD 1996: 1-4

Fred B. Schneider: Notes on proof outline logic. NATO ASI DPD 1996: 351-394

Dag Johansen, Robbert van Renesse, Fred B. Schneider: Supporting broad internet access to TACOMA. ACM SIGOPS European Workshop 1996: 55-58

Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller: Cryptographic support for fault-tolerant distributed computing. ACM SIGOPS European Workshop 1996: 109-114

David Gries, Fred B. Schneider: Equational Propositional Logic. Inf. Process. Lett. 53(3): 145-152 (1995)

Scott D. Stoller, Fred B. Schneider: Verifying Programs That Use Causally-Ordered Message-Passing. Sci. Comput. Program. 24(2): 105-128 (1995)

David Gries, Fred B. Schneider: Avoiding the Undefined by Underspecification. Computer Science Today 1995: 366-373

David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston: Teaching as a logic tool (abstract). SIGCSE 1995: 384-385

Thomas C. Bressoud, Fred B. Schneider: Hypervisor-based Fault-tolerance. SOSP 1995: 1-11

Scott D. Stoller, Fred B. Schneider: Faster Possibility Detection by Combining Two Approaches. WDAG 1995: 318-332

David Gries, Fred B. Schneider: Teaching Logic as a Tool. CSEE 1994: 599-599

Limor Fix, Fred B. Schneider: Hybrid Verification by Exploiting the Environment. FTRTFT 1994: 1-18

Limor Fix, Fred B. Schneider: Reasoning about Programs by Exploiting the Environment. ICALP 1994: 328-339

David Gries, Fred B. Schneider: A Logical Approach to Discrete Math. Springer 1993, isbn 0-387-94115-0

Nils Klarlund, Fred B. Schneider: Proving Nondeterministically Specified Safety Properties Using Progress Measures. Inf. Comput. 107(1): 151-170 (1993)

Özalp Babaoglu, Keith Marzullo, Fred B. Schneider: A Formalization of Priority Inversion. Real-Time Systems 5(4): 285-303 (1993)

Fred B. Schneider: Introduction. Distributed Computing 6(1): 1-3 (1992)

Jennifer Widom, David Gries, Fred B. Schneider: Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Trans. Program. Lang. Syst. 14(3): 396-416 (1992)

Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg: Optimal Primary-Backup Protocols. WDAG 1992: 362-378

Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider: Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. Inf. Process. Lett. 40(3): 141-142 (1991)

Fred B. Schneider, Bard Bloom, Keith Marzullo: Putting Time into Proof Outlines. REX Workshop 1991: 618-639

Fred B. Schneider: Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. ACM Comput. Surv. 22(4): 299-319 (1990)

Bowen Alpern, Fred B. Schneider: Verifying Temporal Properties without Temporal Logic. ACM Trans. Program. Lang. Syst. 11(1): 147-167 (1989)

Bowen Alpern, Fred B. Schneider: Recognizing Safety and Liveness. Distributed Computing 2(3): 117-126 (1987)

Bowen Alpern, Fred B. Schneider: Proving Boolean Combinations of Deterministic Properties. LICS 1987: 131-137

Jennifer Widom, David Gries, Fred B. Schneider: Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL 1987: 27-38

Fred B. Schneider (Ed.): Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987. ACM 1987, isbn 0-89791-239-4

Bowen Alpern, Alan J. Demers, Fred B. Schneider: Safety Without Stuttering. Inf. Process. Lett. 23(4): 177-180 (1986)

Robert McCurley, Fred B. Schneider: Derivation of a Distributed Algorithm for Finding Paths in Directed Networks. Sci. Comput. Program. 6(1): 1-9 (1986)

Fred B. Schneider, Gregory R. Andrews: Concepts for Concurrent Programming. Current Trends in Concurrency 1986: 669-716

Fred B. Schneider: The State Machine Approach: A Tutorial. Fault-Tolerant Distributed Computing 1986: 18-41

Fred B. Schneider: Abstractions for Fault Tolerance in Distributed Systems (Invited Paper). IFIP Congress 1986: 727-734

Fred B. Schneider, Richard Conway, Dale Skeen: Thrifty Execution of Task Pipelines. Acta Inf. 22(1): 35-45 (1985)

Bowen Alpern, Fred B. Schneider: Defining Liveness. Inf. Process. Lett. 21(4): 181-185 (1985)

Ralph E. Johnson, Fred B. Schneider: Symmetry and Similarity in Distributed Systems. PODC 1985: 13-22

Stephen R. Mahaney, Fred B. Schneider: Inexact Agreement: Accuracy, Precision, and Graceful Degradation. PODC 1985: 237-249

Leslie Lamport, Fred B. Schneider: Constraints: A Uniform Approach to Aliasing and Typing. POPL 1985: 205-216

Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider (Eds.): Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich. Lecture Notes in Computer Science 190, Springer 1985, isbn 3-540-15216-4

Fred B. Schneider, David Gries, Richard D. Schlichting: Fault-Tolerant Broadcasts. Sci. Comput. Program. 4(1): 1-15 (1984)

Fred B. Schneider: Byzantine Generals in Action: Implementing Fail-Stop Processors. ACM Trans. Comput. Syst. 2(2): 145-154 (1984)

James E. Archer Jr., Richard Conway, Fred B. Schneider: User Recovery and Reversal in Interactive Systems. ACM Trans. Program. Lang. Syst. 6(1): 1-19 (1984)

Leslie Lamport, Fred B. Schneider: The ``Hoare Logic'' of CSP, and All That. ACM Trans. Program. Lang. Syst. 6(2): 281-296 (1984)

Richard D. Schlichting, Fred B. Schneider: Using Message Passing for Distributed Programming: Proof Rules, Disciplines. ACM Trans. Program. Lang. Syst. 6(3): 402-431 (1984)

Leslie Lamport, Fred B. Schneider: Formal Foundation for Specification and Verification. Advanced Course: Distributed Systems 1984: 203-285

Fred B. Schneider, Leslie Lamport: Paradigms for Distributed Programs. Advanced Course: Distributed Systems 1984: 431-480

Gregory R. Andrews, Fred B. Schneider: Concepts and Notations for Concurrent Programming. ACM Comput. Surv. 15(1): 3-43 (1983)

Bowen Alpern, Fred B. Schneider: Key Exchange Using `Keyless Cryptography'. Inf. Process. Lett. 16(2): 79-81 (1983)

Richard D. Schlichting, Fred B. Schneider: Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems. ACM Trans. Comput. Syst. 1(3): 222-238 (1983)

Fred B. Schneider: Synchronization in Distributed Programs. ACM Trans. Program. Lang. Syst. 4(2): 125-148 (1982)

Richard D. Schlichting, Fred B. Schneider: Understanding and Using Asynchronous Message Passing (Preliminary Version). PODC 1982: 141-147

Dorothy E. Denning, Fred B. Schneider: Master Keys for Group Sharing. Inf. Process. Lett. 12(1): 23-25 (1981)

Dorothy E. Denning, Henk Meijer, Fred B. Schneider: More on Master Keys for Group Sharing. Inf. Process. Lett. 13(3): 125-126 (1981)

Fred B. Schneider: Ensuring Consistency in a Distributed Database System by Use of Distributed Semaphores. DDB 1980: 183-189

Dorothy E. Denning, Fred B. Schneider: The Master Key Problem. IEEE Symposium on Security and Privacy 1980: 103-107

Fred B. Schneider, Arthur J. Bernstein: Scheduling in Concurrent Pascal. Operating Systems Review 12(2): 15-20 (1978)

Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz: Conditions for the Equivalence of Synchronous and Asynchronous Systems. IEEE Trans. Software Eng. 4(6): 507-516 (1978)

Arthur J. Bernstein, Fred B. Schneider: On Language Restrictions to Ensure Deterministic Behavior in Concurrent Systems. Jerusalem Conference on Information Technology 1978: 537-541