Cornelius Aschermann
Software · 2017–2019
A researcher in the Science corpus: 3 papers; trusts 12 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Software — 32 citations into it
- Signal Processing — 25 citations into it
- Information Systems — 7 citations into it
- Computer Science Applications — 6 citations into it
Whom Cornelius Aschermann trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Patrice Godefroid
- Marcel Böhme
- Cristian Cadar
- Vijay Ganesh
- Michael Y. Levin
- Sanjay Rawat
- Peng Chen
- Sergej Schumilo
- Sang Kil Cha
- Tielei Wang
Who trusts Cornelius Aschermann overall
- Xiaogang Zhu
- Andrea Fioraldi
- Valentin J. M. Manès
- Sheng Wen
- Dominik Christian Maier
- Seyit Ahmet Camtepe
- HyungSeok Han
- Yang Xiang
- H. Eißfeldt
Papers from Cornelius Aschermann's perspective
Ordered by how strongly the researchers Cornelius Aschermann 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)
- Taint-based directed whitebox fuzzing (2009 IEEE 31st International Conference on Software Engineering)
- TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Coverage-Based Greybox Fuzzing as Markov Chain (IEEE Transactions on Software Engineering)
- Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
- EXE: automatically generating inputs of death
- SAGE: Whitebox Fuzzing for Security Testing (Queue)
Their papers
- NAUTILUS: Fishing for Deep Bugs with Grammars (2019) — 311 citations
- REDQUEEN: Fuzzing with Input-to-State Correspondence (2019) — 431 citations
- kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels (2017) — 343 citations