As you have already know, we will give tomorrow a short presentation of our paper “Un langage orienté réseaux et sécurité” at SSTIC. For interested readers, the long version paper is available for download here. Slides will be made available soon after the session.
Note that the content of the paper is related to the version 0.1 of Haka. Many improvements have been made since the initial release. A new version featuring a grammar for protocol dissection will be published very soon.