Lionel Blatter

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Relational Data

Desirable Properties

Verification Method

Interval Valued Fuzzy

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte
Preservation of Speculative Constant-time by Compilation. IACR Cryptol. ePrint Arch. 2024 (2024)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
An Efficient VCGen-based Modular Verification of Relational Properties. CoRR (2024)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
Certified Verification of Relational Properties. IFM (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) (2022)
Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich
Inferring Interval-Valued Floating-Point Preconditions. TACAS (1) (2022)
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
Certified Verification of Relational Properties. CoRR (2022)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
Self-composition to Prove Relational Properties in Annotated C Program. CoRR (2018)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot
Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF (2018)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
RPP: Automatic Proof of Relational Properties by Self-composition. TACAS (1) (2017)
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto
Deductive Verification with Relational Properties. CoRR (2016)