Steve Beattie

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

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

Who trusts Steve Beattie overall

  1. James Newsome
  2. Lucas Davi
  3. Dawn Song

Papers from Steve Beattie's perspective

Ordered by how strongly the researchers Steve Beattie 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. A dynamic programming approach to sequencing problems
  6. Automatically validating temporal safety properties of interfaces (SPIN)
  7. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  8. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  9. In-datacenter performance analysis of a tensor processing unit
  10. No exponential is forever: but "Forever" can be delayed! [semiconductor industry] (2003 IEEE International Solid-State Circuits Conference, 2003. Digest of Technical Papers. ISSCC.)

Their papers