FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).

Kaled M. AlshmranyRafael S. MenezesMikhail R. GadelhaLucas C. Cordeiro
Published in: FASE (2021)
Keyphrases
  • security vulnerabilities
  • white box
  • black box
  • intrusion detection
  • dos attacks
  • case study
  • high level
  • data model
  • privacy preserving
  • information security
  • penetration testing