Nikhil Swamy

Artificial Intelligence · 2007–2016

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

Subfields

Whom Nikhil Swamy trusts overall

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

  1. Phillip Rogaway
  2. Patrick Maxim Rondon
  3. David A. Wagner
  4. Engin Kirda

Who trusts Nikhil Swamy overall

  1. Adam Kiezun
  2. Karthikeyan Bhargavan

Papers from Nikhil Swamy's perspective

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

  1. Intrusion detection via static analysis (Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001)
  2. Noxes: a client-side solution for mitigating cross-site scripting attacks (ACM Symposium on Applied Computing)
  3. The essence of command injection attacks in web applications (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
  5. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Bitcoin: A Peer-to-Peer Electronic Cash System
  7. Refinement types for Haskell (ACM SIGPLAN International Conference on Functional Programming)
  8. Authenticated-encryption with associated-data (Conference on Computer and Communications Security)
  9. Type-based termination: a polymorphic lambda-calculus with sized higher-order types
  10. Edit automata: enforcement mechanisms for run-time security policies (International Journal of Information Security)

Their papers