Kevin Morio

Affiliation:

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Open-Source Models & Weights (1)Recommendation & Information Retrieval (1)RLHF & Preference Learning (1)Natural Language Processing (1)

Frequent co-authors

Robert Künnemann (2)Moustafa Said (1)Aurora Naska (1)Kevin Morio (1)Yavor Ivanov (1)Yavor Ivanov (1)R. Künnemann (1)

Papers (2)

Sep 10, 2026

Affiliation:Sep 10, 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 +1

Open-Source Models & Weights Recommendation & Information Retrieval RLHF & Preference Learning

Aug 6, 2026

Affiliation:Aug 6, 2026

A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

ProVerif outpaces Tamarin in verification speed by over 92%, while ensuring soundness in the majority of comparative tasks.

Kevin Morio, Kevin Morio, Yavor Ivanov +3

Natural Language Processing