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

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Résumé

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.

langue originale	Anglais
Les DOIs	https://doi.org/10.1109/CRiSIS.2013.6766344
état	Publié - 1 janv. 2013
Modification externe	Oui
Evénement	2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013 - La Rochelle, France Durée: 23 oct. 2013 → 25 oct. 2013

Une conférence

Une conférence	2013 8th International Conference on Risks and Security of Internet and Systems, CRiSIS 2013
Pays/Territoire	France
La ville	La Rochelle
période	23/10/13 → 25/10/13

Accès au document

10.1109/CRiSIS.2013.6766344

Contient cette citation

@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

Résumé

Une conférence

Accès au document

Empreinte digitale

Contient cette citation