Santosh Nagarakatte

Artificial Intelligence · 2009–2010

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

Subfields

• Artificial Intelligence — 13 citations into it; #25,937 of 35,345 by trust here, #17,776 by citations
• Hardware and Architecture — 10 citations into it; #1,006 of 1,551 by trust here, #567 by citations
• Computer Networks and Communications — 8 citations into it

Whom Santosh Nagarakatte trusts overall

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

1. Emery D. Berger
2. Chris Lattner
3. Miguel Oom Temudo de Castro
4. Nicholas Nethercote
5. Wei Xu
6. George C. Necula
7. Manuel Costa
8. B. Zorn
9. Julian Seward
10. Daniel C. DuVarney

Who trusts Santosh Nagarakatte overall

1. Da-Wei Zhou
2. Volodymyr Kuznetsov
3. László Szekeres
4. Mathias Payer
5. Chao Zhang
6. Shweta Shinde
7. Felix Schuster
8. Manuel Costa
9. Han-Jia Ye
10. Tao Wei

Papers from Santosh Nagarakatte's perspective

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

1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
2. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
3. Securing software by enforcing data-flow integrity (USENIX Symposium on Operating Systems Design and Implementation)
4. SoftBound: highly compatible and complete spatial memory safety for c
5. Preventing Memory Error Exploits with WIT (IEEE Symposium on Security and Privacy)
6. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
7. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. Buffer overflows: attacks and defenses for the vulnerability of the decade (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
9. DieHard: probabilistic memory safety for unsafe languages (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software (Network and Distributed System Security Symposium)

Their papers

• CETS: compiler enforced temporal safety for C (2010) — 421 citations
• SoftBound: highly compatible and complete spatial memory safety for c (2009) — 697 citations