Author

Kevin Morio

h-index 3 View on Semantic Scholar

We have 2 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp

This work derives the first model of WhatsApp Web's implementation of the Signal protocol and the most detailed model to date of Signal's original protocol, and reveals previously undocumented differences between the original libsignal library and WhatsApp's fork.

Moustafa Said, Aurora Naska, Kevin Morio et al. · 0 citations

Preprint Aug 2026

A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

A sound translation from Tamarin to ProVerif is presented that enables a rigorous comparison of the two tools and introduces techniques for formula rewriting, encoding multiset rewrite semantics, and handling simultaneous events, supporting a large subset of Tamarin's features, including multiset rewrite rules, lemmas,...

Kevin Morio, Yavor Ivanov, R. Künnemann · 0 citations