Loïc Thierry

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

Collaborative distances:

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

2024

A Formal Approach for Verifying and Validating Security Objectives in Software Architecture.

Loïc Thierry, Brahim Hamid, Jason Jaskolka

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B.

Loïc Thierry, Brahim Hamid, Jason Jaskolka

Proceedings of the Model and Data Engineering - 13th International Conference, 2024

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