@misc{paper-manticore,
  title = {{Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts}},
  author = {{Mark Mossberg} and {Felipe Manzano} and {Eric Hennenfent} and {Alex Groce} and {Gustavo Grieco} and {Josselin Feist} and {Trent Brunson} and {Artem Dinaburg}},
  year = {2019},
  url = {https://arxiv.org/abs/1907.03890},
  howpublished = {arXiv:1907.03890},
  note = {Preprint},
  eprint = {1907.03890},
  archivePrefix = {arXiv},
  month = jul
}