Loïc Thierry

According to our database, Loïc Thierry authored at least 2 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Specification and Verification of Communication Paradigms for CBSE in Event B.

Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2012

Generating Provable Primes Efficiently on Embedded Devices.

Christophe Clavier, Benoit Feix, Loïc Thierry, Pascal Paillier

Proceedings of the Public Key Cryptography - PKC 2012, 2012