Lionel Blatter

According to our database, Lionel Blatter authored at least 8 papers between 2016 and 2024.

Collaborative distances:

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

2024

Preservation of Speculative Constant-time by Compilation.

Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte

IACR Cryptol. ePrint Arch., 2024

2022

Inferring Interval-Valued Floating-Point Preconditions.

Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

An Efficient VCGen-Based Modular Verification of Relational Properties.

Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Certified Verification of Relational Properties.

Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2018

Self-composition to Prove Relational Properties in Annotated C Program.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

CoRR, 2018

Static and Dynamic Verification of Relational Properties on Self-composed C Code.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017

RPP: Automatic Proof of Relational Properties by Self-composition.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Deductive Verification with Relational Properties.

Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto

CoRR, 2016