Stephen McCamant
Artificial Intelligence · 2007–2013
A researcher in the Science corpus: 4 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 27 citations into it
- Signal Processing — 17 citations into it
- Information Systems — 16 citations into it
- Software — 14 citations into it
- Hardware and Architecture — 6 citations into it
Whom Stephen McCamant trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Stephen McCamant overall
Papers from Stephen McCamant's perspective
Ordered by how strongly the researchers Stephen McCamant trusts endorse each paper. Same corpus, a different order for every researcher.
- Secure program execution via dynamic information flow tracking (ASPLOS XI)
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
- Vigilante: end-to-end containment of internet worms (Symposium on Operating Systems Principles)
- Panorama: capturing system-wide information flow for malware detection and analysis (Conference on Computer and Communications Security)
- Understanding data lifetime via whole system simulation
- Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications (IEEE Symposium on Security and Privacy)
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
- Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis (Network and Distributed System Security Symposium)
Their papers
- Practical Control Flow Integrity and Randomization for Binary Executables (2013) — 568 citations
- The Daikon system for dynamic detection of likely invariants (2007) — 1,243 citations
- DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation (2011) — 313 citations
- A Symbolic Execution Framework for JavaScript (2010) — 537 citations