Loïc Thierry

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 1

Top Topics

Active Database Management Systems

Protocol Specification

Top Venues

Publications

Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
Specification and Verification of Communication Paradigms for CBSE in Event B. ICECCS (2023)
Christophe Clavier, Benoit Feix, Loïc Thierry, Pascal Paillier
Generating Provable Primes Efficiently on Embedded Devices. Public Key Cryptography (2012)