Parsifal: Writing efficient and robust binary parsers, quickly

Olivier Levillain; Hervé Debar; Benjamin Morin

doi:10.1109/CRiSIS.2013.6766344

Parsifal: Writing efficient and robust binary parsers, quickly

Olivier Levillain
, Hervé Debar
, Benjamin Morin

ANSSI
CNRS SAMOVAR UMR 5157

Research output: Contribution to conference › Paper › peer-review

Abstract

For our needs, we wrote several parsers to analyse a lot of SSL/TLS data. As the collected messages were sometimes corrupted or invalid, standard tools did not allow for sound and robust dissection. Parsifal, an OCaml-based parsing engine, allowed us to gain insight into several important protocols. Parsifal also proved to be versatile and might be useful to the security community to write efficient and robust binary dissectors.

Original language	English
DOIs	https://doi.org/10.1109/CRiSIS.2013.6766344
Publication status	Published - 1 Jan 2013
Externally published	Yes
Event	2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013 - La Rochelle, France Duration: 23 Oct 2013 → 25 Oct 2013

Conference

Conference	2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013
Country/Territory	France
City	La Rochelle
Period	23/10/13 → 25/10/13

Access to Document

10.1109/CRiSIS.2013.6766344

Cite this

@conference{00c6f14e0e45413698d95fb7cf38e146,

title = "Parsifal: Writing efficient and robust binary parsers, quickly",

abstract = "For our needs, we wrote several parsers to analyse a lot of SSL/TLS data. As the collected messages were sometimes corrupted or invalid, standard tools did not allow for sound and robust dissection. Parsifal, an OCaml-based parsing engine, allowed us to gain insight into several important protocols. Parsifal also proved to be versatile and might be useful to the security community to write efficient and robust binary dissectors.",

author = "Olivier Levillain and Herv{\'e} Debar and Benjamin Morin",

year = "2013",

month = jan,

day = "1",

doi = "10.1109/CRiSIS.2013.6766344",

language = "English",

note = "2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013 ; Conference date: 23-10-2013 Through 25-10-2013",

}

TY - CONF

T1 - Parsifal

T2 - 2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013

AU - Levillain, Olivier

AU - Debar, Hervé

AU - Morin, Benjamin

PY - 2013/1/1

Y1 - 2013/1/1

N2 - For our needs, we wrote several parsers to analyse a lot of SSL/TLS data. As the collected messages were sometimes corrupted or invalid, standard tools did not allow for sound and robust dissection. Parsifal, an OCaml-based parsing engine, allowed us to gain insight into several important protocols. Parsifal also proved to be versatile and might be useful to the security community to write efficient and robust binary dissectors.

AB - For our needs, we wrote several parsers to analyse a lot of SSL/TLS data. As the collected messages were sometimes corrupted or invalid, standard tools did not allow for sound and robust dissection. Parsifal, an OCaml-based parsing engine, allowed us to gain insight into several important protocols. Parsifal also proved to be versatile and might be useful to the security community to write efficient and robust binary dissectors.

U2 - 10.1109/CRiSIS.2013.6766344

DO - 10.1109/CRiSIS.2013.6766344

M3 - Paper

AN - SCOPUS:84899451983

Y2 - 23 October 2013 through 25 October 2013

ER -

Parsifal: Writing efficient and robust binary parsers, quickly

Abstract

Conference

Access to Document

Fingerprint

Cite this