Hubert Garavel

Identifiers

No identifiers captured yet.

Papers (4)

1. Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol cs.PL · 2026 · author #1
2. Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm cs.PL · 2018 · author #1
3. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark cs.PL · 2017 · author #1
4. A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm cs.CR · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Lina Marsso 2 shared papers
• Wendelin Serwe 1 shared papers