Generating Provable Primes Efficiently on Embedded Devices. - Christophe Clavier; Benoit Feix; Loïc Thierry; Pascal Paillier (Public Key Cryptography, 2012)

Specification and Verification of Communication Paradigms for CBSE in Event B. - Loïc Thierry; Jason Jaskolka; Brahim Hamid; Jean-Paul Bodeveix (ICECCS, 2023)

Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (MEDI, 2024)

A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (VECoS, 2024)