egolfVerbatim:
  type: article
  title: 'Verbatim: A Verified Lexer Generator'
  author:
  - Egolf, Derek
  - Lasser, Sam
  - Fisher, Kathleen
  date: 2021
  page-range: 92-100
  serial-number:
    doi: 10.1109/SPW53761.2021.00022
  parent:
    type: proceedings
    title: 2021 IEEE Security and Privacy Workshops (SPW)
    issue: ''
    volume: ''