Crispin Cowan

Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems] · 2000–2003

A researcher in the Science corpus: 3 papers; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Who trusts Crispin Cowan overall

  1. James Newsome
  2. Lucas Davi
  3. Dawn Song
  4. Volodymyr Kuznetsov
  5. Henry Hanping Feng
  6. Chao Zhang
  7. László Szekeres
  8. Frederic T. Chong
  9. Stephen Dale Smalley
  10. Shuo Chen

Papers from Crispin Cowan's perspective

Ordered by how strongly the researchers Crispin Cowan trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. Buffer overflows: attacks and defenses for the vulnerability of the decade (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  3. Computer Architecture: A Quantitative Approach
  4. The C Programming Language
  5. The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments
  6. A dynamic programming approach to sequencing problems
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  9. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers