Randal E. Bryant

Artificial Intelligence · 2005–2008

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

Subfields

Whom Randal E. Bryant trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. George C. Necula
  2. Mihai Christodorescu
  3. Somesh Jha

Who trusts Randal E. Bryant overall

  1. Rob Kitchin
  2. John F. Symons

Papers from Randal E. Bryant's perspective

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

  1. Static Analysis of Executables to Detect Malicious Patterns
  2. Testing malware detectors (International Symposium on Software Testing and Analysis)
  3. MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
  4. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. IRM enforcement of Java stack inspection (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
  6. CSI/FBI computer crime and security survey
  7. HUNTING FOR METAMORPHIC
  8. CSI/FBI Computer Crime and Security Survey
  9. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  10. Learning Regular Sets from Queries and Counterexamples

Their papers