Robert Gawlik
Software · 2015–2019
A researcher in the Science corpus: 3 papers; trusts 13 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Software — 27 citations into it
- Signal Processing — 22 citations into it
- Artificial Intelligence — 6 citations into it
- Computer Science Applications — 5 citations into it
Whom Robert Gawlik trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Robert Gawlik overall
Papers from Robert Gawlik's perspective
Ordered by how strongly the researchers Robert Gawlik trusts endorse each paper. Same corpus, a different order for every researcher.
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
- Taint-based directed whitebox fuzzing (2009 IEEE 31st International Conference on Software Engineering)
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
- QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
- Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
- Coverage-Based Greybox Fuzzing as Markov Chain (IEEE Transactions on Software Engineering)
- VUzzer: Application-aware Evolutionary Fuzzing (Network and Distributed System Security Symposium)
Their papers
- Cross-architecture bug search in binary executables (2015) — 358 citations
- REDQUEEN: Fuzzing with Input-to-State Correspondence (2019) — 431 citations
- kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels (2017) — 343 citations