Fred B Schneider

Ontology type: schema:Person     

Person Info


Fred B



Publications in SciGraph latest 50 shown

  • 2019-04-28 JRIF: Reactive Information Flow Control for Java in FOUNDATIONS OF SECURITY, PROTOCOLS, AND EQUATIONAL REASONING
  • 2014 When Not All Bits Are Equal: Worth-Based Information Flow in PRINCIPLES OF SECURITY AND TRUST
  • 2011-01-29 Multi-Verifier Signatures in JOURNAL OF CRYPTOLOGY
  • 2011 Beyond Traces and Independence in DEPENDABLE AND HISTORIC COMPUTING
  • 2007 The Building Blocks of Consensus in DISTRIBUTED COMPUTING AND NETWORKING
  • 2007-01-01 Credentials-Based Authorization: Evaluation and Implementation in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2005-03 Automated Analysis of Fault-Tolerance in Distributed Systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2005 Peer-to-Peer Authentication with a Distributed Single Sign-On Service in PEER-TO-PEER SYSTEMS III
  • 2005 Implementing Trustworthy Services Using Replicated State Machines in REPLICATION
  • 2004-01-01 Least Privilege and More in COMPUTER SYSTEMS
  • 2003-03-14 WAIF:Web of Asynchronous Information Filters in FUTURE DIRECTIONS IN DISTRIBUTED COMPUTING
  • 2003-02 Tolerating malicious gossip in DISTRIBUTED COMPUTING
  • 2003 Lifting Reference Monitors from the Kernel in FORMAL ASPECTS OF SECURITY
  • 2001-07-04 Language-Based Security: What’s Needed and Why in STATIC ANALYSIS
  • 2001-03-29 A Language-Based Approach to Security in INFORMATICS
  • 1998 Automated stream-based analysis of fault-tolerance in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 1997-05 Report Dagstuhl Seminar on Time Services Schloß Dagstuhl, March 11. – March 15. 1996 in REAL-TIME SYSTEMS
  • 1997 Towards fault-tolerant and secure agentry in DISTRIBUTED ALGORITHMS
  • 1995 Faster possibility detection by combining two approaches in DISTRIBUTED ALGORITHMS
  • 1995 Avoiding the undefined by underspecification in COMPUTER SCIENCE TODAY
  • 1994 Teaching logic as a tool in SOFTWARE ENGINEERING EDUCATION
  • 1994 Reasoning about programs by exploiting the environment in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1994-01-01 Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol in FOUNDATIONS OF DEPENDABLE COMPUTING
  • 1994 Hybrid verification by exploiting the environment in FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS
  • 1993-10 A formalization of priority inversion in REAL-TIME SYSTEMS
  • 1993 A Logical Approach to Discrete Math in NONE
  • 1993 Primary-Backup Protocols: Lower Bounds and Optimal Implementations in DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS 3
  • 1992-07 Introduction in DISTRIBUTED COMPUTING
  • 1992 Optimal primary-backup protocols in DISTRIBUTED ALGORITHMS
  • 1992 Putting time into proof outlines in REAL-TIME: THEORY IN PRACTICE
  • 1991 Derivation of Sequential, Real-Time, Process-Control Programs in FOUNDATIONS OF REAL-TIME COMPUTING: FORMAL SPECIFICATIONS AND METHODS
  • 1990 Simpler Proofs for Concurrent Reading and Writing in BEAUTY IS OUR BUSINESS
  • 1990 The state machine approach: A tutorial in FAULT-TOLERANT DISTRIBUTED COMPUTING
  • 1987-09 Recognizing safety and liveness in DISTRIBUTED COMPUTING
  • 1986 Concepts for concurrent programming in CURRENT TRENDS IN CONCURRENCY
  • Affiliations

  • Cornell University (current)
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

        "@context": "", 
        "affiliation": [
            "affiliation": {
              "id": "", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Schneider", 
        "givenName": "Fred B", 
        "id": "sg:person.014414511207.24", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2021-12-01T20:43", 
        "sdLicense": "", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/person/person_779.jsonl", 
        "type": "Person"

    Download the RDF metadata as:  json-ld nt turtle xml License info


    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' ''

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' ''

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' ''

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' ''


    Preview window. Press ESC to close (or click here)