- Automated StreamBased Analysis of FaultTolerance #
- PeertoPeer Authentication with a Distributed Single SignOn Service #
- Hypervisor-Based Fault-Tolerance THOMAS C. BRESSOUD
- Synchronization FRED B. SCHNEIDER
- Polyglot: An Extensible Compiler Framework for Java Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers
- Hypervisorbased Faulttolerance Thomas C. Bressoud
- A Role for Formal Methodists # Fred B. Schneider
- Certified In-lined Reference Monitoring on .NET Kevin W. Hamlen
- A Tacoma Retrospective Dag Johansen # , Kare J. Lauvset, # Robbert van Renesse, +
- Reasoning about Programs by Exploiting the Environment *
- Distributed Trust: Supporting Fault-tolerance and
- What Good are Models What Models are Good?
- A Graphical Interface for CHIP Lorenzo Alvisi
- Avoiding the Undefined by Underspecification David Gries ? and Fred B. Schneider ??
- A Formalization of Priority Inversion Ozalp Babao
- 26th Annual Telecommunications Policy Research Conference. Critical Infrastructures You Can Trust. 1 Critical Infrastructures You Can Trust: Where Telecommunications Fits
- Adding the Everywhere Operator to Propositional Logic
- On Traditions in Marktoberdorf
- SASI Enforcement of Security Policies: A Retrospective # Ulfar Erlingsson Fred B. Schneider
- 160 October 2002/Vol. 45, No. 10 COMMUNICATIONS OF THE ACM By definition, a secure system enforces some policy
- Replication Management State Machine Approach
- Inside Risks ??? (CACM ??, ??, Jan 1999) Our Evolving Public Telephone Networks
- Formalizations Of Substitution Of Equals For Equals
- Secure Information Flow and CPS Steve Zdancewic Andrew C. Myers
- The Primary--Backup Approach Navin Budhiraja \Lambda
- Untrusted Hosts and Confidentiality: Secure Program Partitioning
- A New Approach to Teaching Discrete Mathematics
- In Proceedings of the 2001 IEEE Computer Security Foundations Workshop, pages 15--23 Robust Declassification
- Formalizations Of Substitution Of Equals For Equals David Gries \Lambda and Fred B. Schneider y
- Sound and complete modal propositional logic C is presented, in which 2P has the inter pretation ``P is true in all states''. This interpretation is already known as the Carnapian
- Operating System Support for Mobile Agents Dag Johansen Robbert van Renesse Fred B. Schneider
- COCA: A Secure Distributed Online Certification Authority
- APSS: Proactive Secret Sharing in Asynchronous Systems #
- Lifting Reference Monitors from the Kernel Fred B. Schneider
- Certified In-lined Reference Monitoring on .NET Kevin W. Hamlen
- Using External Security Monitors to Secure BGP Patrick Reynolds, Oliver Kennedy, Emin Gun Sirer, Fred B. Schneider
- SECTION 1.2 Refinement for FaultTolerance
- WAIF: Web of Asynchronous Information Filters # Dag Johansen, Robbert van Renesse, and Fred B. Schneider
- Hybrid Verification by Exploiting the Environment ?
- Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider
- Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider
- From the Editors PublishedbytheieeeComPutersoCiety1540-7993/07/$25.002007ieeeieeeseCurity&PrivaCy
- JULY/AUGUST20101540-7993/10/$26.002010IEEECOPUBLISHEDBYTHEIEEECOMPUTERANDRELIABILITYSOCIETIES 3 From the Editors
- Blueprint for a Science of Cybersecurity
- Under consideration for publication in Math. Struct. in Comp. Science Quantification of Integrity
- Multi-Verifier Signatures Microsoft Research
- Nexus Authorization Logic (NAL): Design Rationale and Applications
- United States House of Representatives House Armed Services Committee
- Trustworthiness as a Limitation on Network Neutrality
- United States House of Representatives Committee on Science and Technology
- United States House of Representatives Committee on Science and Technology
- Notes for White House 60-day Cyber-Policy Review March 25, 2009
- Fail-Stop Processors: An Approach to Designing
- Using Message Passingfor Distributed Programming: ProofRulesand Disciplines
- Verifying Temporal Temporal Logic
- The PTN and Internet are two large and complex networked
- IT Monoculture 14 Published by the ieee ComPuter soCiety 1540-7993/09/$25.00 2009 ieee ieee seCurity & PrivaCy
- Distributed Blinding for Distributed ElGamal Re-encryption
- Hyperproperties Michael R. Clarkson Fred B. Schneider
- USENIX Association 8th USENIX Symposium on Operating Systems Design and Implementation 241 Device Driver Safety Through a Reference Validation Mechanism
- Nexus: A New Operating System for Trustworthy Alan Shieh Dan Williams Emin Gun Sirer Fred B. Schneider
- Credentials-Based Authorization: Evaluation and Implementation
- From the Editors IEEE magazines.
- From the Editors held, dragons awaited them. As fur-
- From the Editors sometimes viewed with suspicion.
- FRED B. SCHNEIDER April 4, 2011 Cornell University Date of Birth: December 7, 1953
- Secure Program Partitioning Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
- What Tacoma Taught Us Dag Johansen \Lambda Fred B. Schneider y and Robbert van Renesse y
- Enforceable Security Policies 1 Fred B. Schneider
- Inside Risks 94 (CACM 41, 4, Apr 1998) On Concurrent Programming?
- Open Source in Security: Visiting the Bizarre # Fred B. Schneider
- Equational Propositional Logic David Gries 1 and Fred B. Schneider 2
- Proactive Obfuscation Microsoft Research
- INTERNATIONAL REVIEW OF UK RESEARCH IN COMPUTER SCIENCE
- In Proceedings of the 2003 IEEE Symposium on Security and Privacy, pages 236250 Using Replication and Partitioning
- Trace-Based Network Proof Systems: Expressiveness and Completeness
- Independence From Obfuscation: A Semantic Framework for Diversity
- Equational Propositional Logic David Gries 1 and Fred B. Schneider 2
- The FailStop Processor Approach * Fred B. Schneider
- Least Privilege and More1 Fred B. Schneider
- Automated Analysis of Fault-Tolerance in Distributed Systems Scott D. Stoller y
- Inside Risks 101 (CACM 41, 11, Nov 1998) Towards Trustworthy Networked
- 34 communicationS of the acm | MAy 2009 | vol. 52 | No. 5 aJor ConFerenCes In
- Byzantine Generals in Action" Implementing Fail-Stop Processors
- CODEX: A Robust and Secure Secret Distribution Michael A. Marsh, Member, IEEE, Fred B. Schneider, Member, IEEE
- From the Editors The first digital divide concerns
- Cryptographic Support for FaultTolerant Distributed Computing \Lambda Yaron Minsky y Robbert van Renesse z Fred B. Schneider y
- Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
- Mapping the Security Landscape: A Role for Language Techniques
- MARCH/APRIL 2009 1540-7993/09/$25.00 2009 IEEE COPubLIsHEd by tHE IEEE COMPutER And RELIAbILIty sOCIEtIEs 3 From the Editors
- Network Security and the Need to Consider Provider Coordination in Network Access Policy
- Quantification of Integrity Michael R. Clarkson Fred B. Schneider
- NOVEMBER/DECEMBER20091540-7993/09/$26.002009IEEECOPUBLISHEDBYTHEIEEECOMPUTERANDRELIABILITYSOCIETIES 3 From the Editors
- Distributed Trust ivide and conquer" can be a powerful
- A Paradigm for Reliable Clock Synchronization * Fred B. Schneider
- PeertoPeer Authentication with a Distributed Single SignOn Service #
- Inexact Agreement: Accuracy, Precision, and Graceful Degradation
- From the Editors fraud and identity theft. As a result,
- Hyperproperties Michael R. Clarkson Fred B. Schneider
- FRED BARRY SCHNEIDER : DSC Mr Chancellor,
- Concepts and Notations for Concurrent Programming GREGORY R. ANDREWS
- APSS: Proactive Secret Sharing in Asynchronous Systems
- Editor: Gary McGraw, gem@cigital.com NOVEMBER/DECEMBER20091540-7993/09/$26.002009IEEECOPUBLISHEDBYTHEIEEECOMPUTERANDRELIABILITYSOCIETIES 5
- User Recovery and Reversal in Interactive JAMES E. ARCHER, JR.
- From the Editors policies), and increased purchase
- A LanguageBased Approach to Security # Fred B. Schneider 1 , Greg Morrisett 1 , and Robert Harper 2
- Hypervisorbased Faulttolerance * Thomas C. Bressoud **
- Doctrine for Cybersecurity Deirdre K. Mulligan
- Hyperproperties Michael R. Clarkson Fred B. Schneider
- Lower Bounds for a Primary--Backup Implementation of a Bofo Service
- COCA: A Secure Distributed On-line Certi cation Authority 1
- Protecting Privacy using the Decentralized Label Model
- NAP: Practical FaultTolerance for Itinerant Computations Dag Johansen \Lambda Keith Marzullo y Fred B. Schneider z Kjetil Jacobsen \Lambda
- IRM Enforcement of Java Stack Inspection # Ulfar Erlingsson + Fred B. Schneider
- Towards Faulttolerant and Secure Agentry ? Fred B. Schneider
- Least Privilege and More1 Fred B. Schneider
- Securing Ad Hoc Networks Lidong Zhou
- Belief in Information Flow Michael R. Clarkson Andrew C. Myers Fred B. Schneider
- Tolerating Malicious Gossip Yaron M. Minsky y and Fred B. Schneider z
- Faster Possibility Detection by Combining Two Approaches ?
- Automated Analysis of FaultTolerance in Distributed Systems \Lambda
- Beyond Traces and Independence Fred B. Schneider
- NetQuery: A Knowledge Plane for Reasoning about Network Properties
- JULY/AUGUST 2011 1540-7993/11/$26.00 2011 IEEE COPUBLISHED BY THE IEEE COMPUTER AND RELIABILITY SOCIETIES 3 From the Editors
- Nexus Authorization Logic (NAL): Design Rationale and Applications
- Nexus Authorization Logic (NAL): Design Rationale and Applications FRED B. SCHNEIDER, KEVIN WALSH, and EMIN G UN SIRER, Cornell University
- Logical Attestation: An Authorization Architecture
