Marcel Böhme

Software · 2017–2024

A researcher in the Science corpus: 3 papers; trusts 6 researchers and is trusted by 3 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. Leonardo de Moura
  2. Cristian Cadar
  3. Kostya Serebryany
  4. Andrea Arcuri
  5. Sanjay Rawat
  6. Patrice Godefroid
  7. Nikolaj S. Bjørner
  8. Van-Thuan Pham
  9. Juan Caballero
  10. Derek Bruening

Who trusts Marcel Böhme overall

  1. Caroline Lemieux
  2. Xiaogang Zhu
  3. Junjie Wang
  4. Koushik Sen
  5. Sheng Wen
  6. Ruijie Meng
  7. Bihuan Chen

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. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  2. Language Models are Unsupervised Multitask Learners
  3. Driller: Augmenting Fuzzing Through Selective Symbolic Execution (Network and Distributed System Security Symposium)
  4. Language Models are Few-Shot Learners (Neural Information Processing Systems)
  5. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  6. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  7. Polyglot: automatic extraction of protocol message format using dynamic binary analysis (Conference on Computer and Communications Security)
  8. SAGE: Whitebox Fuzzing for Security Testing (Queue)
  9. AddressSanitizer: A Fast Address Sanity Checker
  10. Prospex: Protocol Specification Extraction (IEEE Symposium on Security and Privacy)

Their papers