@inproceedings{mondet:hal-01567597,
  TITLE = {{Generating Optimised and Formally Checked Packet Parsing Code}},
  AUTHOR = {Mondet, Sebastien and Alberdi, Ion and Plagemann, Thomas},
  URL = {https://inria.hal.science/hal-01567597},
  NOTE = {Part 5: Software Security},
  BOOKTITLE = {{26th International Information Security Conference (SEC)}},
  ADDRESS = {Lucerne, Switzerland},
  EDITOR = {Jan Camenisch and Simone Fischer-H{\"u}bner and Yuko Murayama and Armand Portmann and Carlos Rieder},
  PUBLISHER = {{Springer}},
  SERIES = {Future Challenges in Security and Privacy for Academia and                    Industry},
  VOLUME = {AICT-354},
  PAGES = {173-184},
  YEAR = {2011},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-21424-0\_14},
  PDF = {https://inria.hal.science/hal-01567597/file/978-3-642-21424-0_14_Chapter.pdf},
  HAL_ID = {hal-01567597},
  HAL_VERSION = {v1},
}