John Einar Johansen

USENIX Security Symposium · 2003

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

Who trusts John Einar Johansen overall

  1. James Newsome

Papers from John Einar Johansen's perspective

Ordered by how strongly the researchers John Einar Johansen 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. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  7. In-datacenter performance analysis of a tensor processing unit
  8. No exponential is forever: but "Forever" can be delayed! [semiconductor industry] (2003 IEEE International Solid-State Circuits Conference, 2003. Digest of Technical Papers. ISSCC.)
  9. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution
  10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers