Marcel Böhme

Software · 2016

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

Whom Marcel Böhme trusts overall

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

  1. Cristian Cadar
  2. Vijay Ganesh
  3. Kostya Serebryany
  4. Tielei Wang
  5. Yuting Chen
  6. Derek Bruening
  7. Tao Wei
  8. Ting Su

Who trusts Marcel Böhme overall

  1. Cornelius Aschermann
  2. Sergej Schumilo
  3. Junjie Wang
  4. Xiaogang Zhu
  5. Bihuan Chen
  6. Insu Yun
  7. Jingxuan He
  8. Theofilos Petsios
  9. Robert Gawlik
  10. Sheng Wen

Papers from Marcel Böhme's perspective

Ordered by how strongly the researchers Marcel Böhme trusts endorse each paper. Same corpus, a different order for every researcher.

  1. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  2. Taint-based directed whitebox fuzzing (2009 IEEE 31st International Conference on Software Engineering)
  3. Coverage-directed differential testing of JVM implementations
  4. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  5. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
  6. QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
  7. AddressSanitizer: A Fast Address Sanity Checker
  8. Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
  9. Optimization by Simulated Annealing
  10. The Anatomy of a Large-Scale Hypertextual Web Search Engine

Their papers