Best Paper Award for “Fuzzing-based Grammar Inference”

Congratulations to Hannes Sochor, Flavio Ferrarotti & Daniela Kaufmann on the Best paper Award. Hannes Sochor received the prize on behalf of the SCCH team at the 11th International Conference on Model and Data Engineering in Cairo, Egypt. “33?papers were submitted and we have made first place with our paper - something we are already proud of”, so Sochor.

The Conference took place at Nile University from 21 to 23 November 2022. Its main objective is to create a forum for the communication of research accomplishments and to promote the interaction and collaboration between the models and data research communities. MEDI2022 provides a global stage for the dissemination of theoretical research on models and data development of advanced technologies related to models and data and their advanced applications. This international scientific conference, initiated by researchers from Euro-Mediterranean countries, also aims at promoting the creation of north-south scientific networks, alliances, and faculty/student exchanges.

Besides the great networking activities Hannes was impressed by the egyptian hospitality. “Students and professors welcomed us very kindly and showed us “their Cairo” even after the conference”, explains Hannes.

Finding security breaches

In the paper Fuzzing-Based Grammar Inference we propose and suggest a novel approach for grammar inference that is based on grammar-based fuzzing. While executing a target program with random inputs, our method identifies the program input language as a human-readable context-free grammar. Our strategy, which integrates machine learning techniques with program analysis of call trees, uses a far smaller set of seed inputs than earlier work. As a further contribution we also combine the processes of grammar inference and grammar-based fuzzing to incorporate random sample information into our inference technique. Our evaluation shows that our technique is effective in practice and that the input languages of tested recursive-descending parser are correctly inferred.

Further information: https://www.medi22.org