Volodymyr Kuznetsov
Artificial Intelligence · 2011–2014
A researcher in the Science corpus: 2 papers; trusts 6 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 42 citations into it
- Signal Processing — 30 citations into it
- Computer Networks and Communications — 27 citations into it; #7,406 of 9,886 by trust here, #4,594 by citations
- Hardware and Architecture — 19 citations into it; #1,073 of 1,551 by trust here, #708 by citations
- Software — 17 citations into it; #886 of 1,227 by trust here, #674 by citations
- Computational Theory and Mathematics — 9 citations into it
- Program Analysis & Verification — 6 citations into it
Whom Volodymyr Kuznetsov trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Santosh Nagarakatte
- Cristian Cadar
- Patrice Godefroid
- Sandeep Bhatkar
- Mingwei Zhang
- Miguel Oom Temudo de Castro
- Kostya Serebryany
- Martín Abadi
- Crispin Cowan
- Koushik Sen
Who trusts Volodymyr Kuznetsov overall
Papers from Volodymyr Kuznetsov's perspective
Ordered by how strongly the researchers Volodymyr Kuznetsov trusts endorse each paper. Same corpus, a different order for every researcher.
- Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
- Preventing Memory Error Exploits with WIT (IEEE Symposium on Security and Privacy)
- Return-oriented programming without returns (Conference on Computer and Communications Security)
- Securing software by enforcing data-flow integrity (USENIX Symposium on Operating Systems Design and Implementation)
- EXE: automatically generating inputs of death
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- The geometry of innocent flesh on the bone: return-into-libc without function calls (on the x86) (Conference on Computer and Communications Security)
- Practical Control Flow Integrity and Randomization for Binary Executables (IEEE Symposium on Security and Privacy)
- SoftBound: highly compatible and complete spatial memory safety for c
Their papers
- Code-pointer integrity (2014) — 561 citations
- S2E: a platform for in-vivo multi-path analysis of software systems (2011) — 757 citations